efe21261d031b4836f64112a899706322acd26b0

Author
robertoaceves <roberto.aceves@gmail.com>
Committer
GitHub <noreply@github.com>
Date

Message

fix(grep): remove duplicate options (#12639)

Diff

 1diff --git a/lib/grep.zsh b/lib/grep.zsh
 2index 54e0f694e7d7a86ead2020907d88ddaf32861522..5b3dec87e295e5f8d27b33d509166212397ad289 100644
 3--- a/lib/grep.zsh
 4+++ b/lib/grep.zsh
 5@@ -24,8 +24,8 @@ else
 6     if [[ -n "$GREP_OPTIONS" ]]; then
 7         # export grep, egrep and fgrep settings
 8         alias grep="grep $GREP_OPTIONS"
 9-        alias egrep="grep -E $GREP_OPTIONS"
10-        alias fgrep="grep -F $GREP_OPTIONS"
11+        alias egrep="grep -E"
12+        alias fgrep="grep -F"
13 
14         # write to cache file if cache directory is writable
15         if [[ -w "$ZSH_CACHE_DIR" ]]; then