Martin Panter added the comment:
My own one-liner kicking around in my Bash history that uses GNU Grep options
to avoid specific files and directories:
grep -r . --exclude-dir={.git,.hg} --exclude={refcounts.dat,"*.js"} -nIwe
PIPE_MAX_SIZE
----------
nosy: +vadmium
_______________________________________
Python tracker <[email protected]>
<http://bugs.python.org/issue23613>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
