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