[slurm-users] wckey specification error

[Chris Samuel]

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