From 9cd0e7b6559034b5eb0c50888c9e265758eeefa6 Mon Sep 17 00:00:00 2001 From: Rickard Gimerstedt Date: Wed, 15 Apr 2015 08:28:38 +0200 Subject: [PATCH] quick and dirty fix for deprecated grep_options env var --- lib/grep.zsh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/lib/grep.zsh b/lib/grep.zsh index 3fa103d19..f1ff7fc5b 100644 --- a/lib/grep.zsh +++ b/lib/grep.zsh @@ -26,3 +26,6 @@ alias grep="grep $GREP_OPTIONS" unset GREP_OPTIONS unset VCS_FOLDERS unfunction grep-flag-available + +alias grep="/usr/bin/grep $GREP_OPTIONS" +unset GREP_OPTIONS