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)

