On Feb 7, 2010, at 5:14 PM, Ashish Agarwal wrote: > > - the source folder tree is deep, and thus harder to grep > > I use find. > > $ find ./ -exec grep "foo" {} \; You can also use a shell like zsh or eshell and do grep foo **/*.ml* When you use eshell the grep result is even clickable. > > > > On Sun, Feb 7, 2010 at 12:19 PM, Martin DeMello wrote: > On Sat, Feb 6, 2010 at 5:44 PM, Tiphaine Turpin > wrote: > > - the source folder tree is deep, and thus harder to grep > > tangentially, i've found that a great way to deal with that is to > import the whole thing into a local git repository and then use git > grep. works like a charm, and is *fast*. > > martin > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs