Hacker Newsnew | comments | show | ask | jobs | submit login

Oh my. And suddenly, github gave grep to the web. Thanks for that great work.



Here's.. a grep for the web, though: https://blekko.com/webgrep

-----


Or rather, fgrep. But it's still a welcome feature, and there's https://code.google.com/p/codesearch/ for locally available code.

-----


`git grep` within repos as well

-----




Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: