On Wednesday, 2 May 2018 8:50:12 PM AEST John Hearns wrote: > One learning point grep -i is a good default option. This ignores the > case of the search, so you would have found WCKey a bit faster.
Also if you need to search recursively below a point then:
git grep --no-index -i ${PATTERN}
will do git's grep with no need to have a git repository. Plus it paginates,
etc, for you. Also pretty fast. :-)
--
Chris Samuel : http://www.csamuel.org/ : Melbourne, VIC
