jegardai
/
zsh
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Disable GREP_OPTIONS because it's deprecated.

This commit is contained in:
Jeremy Gardais 2015-08-08 22:47:20 +02:00
parent 0eab90a037
commit fd540a26f3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
zshenv
View File

@ -46,8 +46,8 @@ umask 022
# Ne pas passer par le proxy pour les domaines locaux
#export no_proxy="exemple.org"
# De la couleur pour grep
export GREP_OPTIONS='--color=auto'
# De la couleur pour grep (deprecated)
#export GREP_OPTIONS='--color=auto'
# Verrouiller le shell après 10 minutes
# Inutiliser pour le moment, ça verrouille toutes les fenêtres d'un multi-plexeur (screen, tmux, …)