Paul Fox wrote:
> i do.  and i just spent some quality time with the git-grep man page,
> hoping that it had a -prune option.  it doesn't. :-/  i'm surprised --

I'd recommend ag (the_silver_searcher) over git grep. It isn't specific
to git repositories. It also does have a --ignore option for pruning.

Even with that I'd agree with Ralph that the historical stuff would be
better off kept in a separate branch.


Nmh-workers mailing list

Reply via email to