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)

Reply via email to