From 81732767600c047ce7f2802e5b18afb5b181920b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E4=BF=AE=E6=98=8A?= Date: Wed, 10 Dec 2014 14:51:29 +0800 Subject: [PATCH] fix bug fix this warnning : grep: warning: GREP_OPTIONS is deprecated; please use an alias or script --- lib/grep.zsh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/grep.zsh b/lib/grep.zsh index 276fec382..21abc96c1 100644 --- a/lib/grep.zsh +++ b/lib/grep.zsh @@ -20,5 +20,6 @@ elif grep-flag-available --exclude=.cvs; then fi unfunction grep-flag-available -export GREP_OPTIONS="$GREP_OPTIONS" +# export GREP_OPTIONS="$GREP_OPTIONS" +alias grep="grep $GREPOPTIONS" export GREP_COLOR='1;32'