In my previous message, mentions to `ggrep' mean `grep -RnE' (that's an alias in my environment:
$ alias ggrep alias ggrep='grep -RnE' On 03 Nov 2018, Gabriel F. T. Gomes wrote: > > $ ggrep "completion\.d" git-2.19.1/ > git-2.19.1/debian/git.install:4:debian/git-prompt.completion => > etc/bash_completion.d/git-prompt ^ (for instance)