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

master
robertoaceves 2 years ago committed by GitHub
parent f622e6a636
commit efe21261d0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 4
      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

Loading…
Cancel
Save