diff --git a/zshenv b/zshenv index df27d8c..e921d51 100644 --- a/zshenv +++ b/zshenv @@ -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, …)