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/functions/__fish_contains_opt.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/functions/__fish_contains_opt.fish')
| -rw-r--r-- | share/functions/__fish_contains_opt.fish | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/share/functions/__fish_contains_opt.fish b/share/functions/__fish_contains_opt.fish index b786fe3b..cc66a9e7 100644 --- a/share/functions/__fish_contains_opt.fish +++ b/share/functions/__fish_contains_opt.fish @@ -29,11 +29,11 @@ function __fish_contains_opt -d "Checks if a specific option has been given in t continue end - if commandline -cpo | sgrep -- "^-"$i"\|^-[^-]*"$i >/dev/null + if commandline -cpo | __fish_sgrep -- "^-"$i"\|^-[^-]*"$i >/dev/null return 0 end - if commandline -ct | sgrep -- "^-"$i"\|^-[^-]*"$i >/dev/null + if commandline -ct | __fish_sgrep -- "^-"$i"\|^-[^-]*"$i >/dev/null return 0 end end |