Tagged: zsh 2018 Better "GREP-ing" tool for searching source code files when doing development Jul 21