On 12/08/2010 10:12 PM, Eli Barzilay wrote: > Is this different from a recursive grep? > > (See also `git grep' -- and there's a web interface for that, > http://git.racket-lang.org//plt?a=search&h=HEAD&st=grep&s=foo ) >
Oh I had no idea git grep existed. Well that looks good enough for now. (BTW, recursive grep on the command line is not so trivial.. $ find . -name "*.rkt" | xargs grep foo ) _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev