diff options
| author | robertoaceves <roberto.aceves@gmail.com> | 2024-08-27 02:13:47 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-27 08:13:47 +0200 |
| commit | efe21261d031b4836f64112a899706322acd26b0 (patch) | |
| tree | 9151eb7f281e8653dad242f0afd3e8fdf4ad1e47 | |
| parent | f622e6a6367b5142c868f554fda968982226e5df (diff) | |
| download | zsh-efe21261d031b4836f64112a899706322acd26b0.tar.gz zsh-efe21261d031b4836f64112a899706322acd26b0.tar.bz2 zsh-efe21261d031b4836f64112a899706322acd26b0.zip | |
fix(grep): remove duplicate options (#12639)
| -rw-r--r-- | lib/grep.zsh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/grep.zsh b/lib/grep.zsh index 54e0f694e..5b3dec87e 100644 --- a/lib/grep.zsh +++ b/lib/grep.zsh @@ -24,8 +24,8 @@ else if [[ -n "$GREP_OPTIONS" ]]; then # export grep, egrep and fgrep settings alias grep="grep $GREP_OPTIONS" - alias egrep="grep -E $GREP_OPTIONS" - alias fgrep="grep -F $GREP_OPTIONS" + alias egrep="grep -E" + alias fgrep="grep -F" # write to cache file if cache directory is writable if [[ -w "$ZSH_CACHE_DIR" ]]; then |