[darcs-users] Re: a bash tip for easily excluding the _darcs directory

[Jamie Webb]

On Wed, Mar 09, 2005 at 02:42:16PM +0000, Jamie Webb wrote:
> I think that should be:
> 
> find . -path '*/_darcs/*' -prune -o -print0 | xargs -0 grep string

Or, shorter still:

find \! -path '*/_darcs/*' -print0 | xargs -0 grep string

-- Jamie Webb