Chez JL

Accueil > Informatique > Problèmes > GREP_OPTIONS doit être abandonné

GREP_OPTIONS doit être abandonné

vendredi 6 octobre 2017, par JL

Je l’avais mis où ? à oui dans /etc/zsh/zshenv, enlever GREP_OPTIONS.

Et attention au "su" au lieu de "su -" car on peut récupérer le mauvaise environnement de l’utilisateur.