grep.fish: don't use GREP_OPTIONS as it is deprecated

Closes #1825.
This commit is contained in:
David Adam 2014-11-25 08:47:30 +08:00
parent 83df5ea660
commit efc3846fcf

View file

@ -6,8 +6,8 @@ if command grep --color=auto --help 1>/dev/null 2>/dev/null
if not set -q GREP_COLOR
set -gx GREP_COLOR '97;45'
end
if not set -q GREP_OPTIONS
set -gx GREP_OPTIONS --color=auto
function grep
command grep --color=auto $argv
end
end