diff options
author | Fabian Homborg <FHomborg@gmail.com> | 2015-09-09 20:55:04 +0200 |
---|---|---|
committer | Fabian Homborg <FHomborg@gmail.com> | 2015-09-09 20:55:04 +0200 |
commit | b85a8bbbfed56f603dca5d6da85858f9c973b669 (patch) | |
tree | aaca0722b25cff9d5e2ea5b46ad6e7dc59d9ec6d /share/completions/valgrind.fish | |
parent | 925f4517739ed564edcac6dd5ed29c2835461da9 (diff) |
Rename sgrep to __fish_sgrep
Makes it harder to cause issues with aliases, see fish-shell#2245
Diffstat (limited to 'share/completions/valgrind.fish')
-rw-r--r-- | share/completions/valgrind.fish | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/completions/valgrind.fish b/share/completions/valgrind.fish index a1bd1472..2d87bbc4 100644 --- a/share/completions/valgrind.fish +++ b/share/completions/valgrind.fish @@ -1,7 +1,7 @@ # Don't go invoking valgrind unless it is installed set -l skin tool -if begin ; type valgrind >/dev/null ; and valgrind --version ^/dev/null | sgrep -- '-2\.[012]\.' >/dev/null ^/dev/null ; end +if begin ; type valgrind >/dev/null ; and valgrind --version ^/dev/null | __fish_sgrep -- '-2\.[012]\.' >/dev/null ^/dev/null ; end # In older versions of Valgrind, the skin selection option was # '--skin' # But someone decided that it would be fun to change this to |