Yves Rutschle a écrit :
On Mon, Nov 10, 2003 at 10:59:16PM +0000, Philippe BERNARD wrote:
Quelqu'un peut-il me communiquer la commande
pour enlever un répertoire du $PATH.
PATH=`echo $PATH | sed "s/<le repertoire>://"`
en déplaçant le ':' où il faut.
Je n'ai jamais vu personne avoir besoin de faire ça, cela
dit. Si on ne veut pas un répertoire dans son PATH, il
suffit de ne pas l'ajouter (!).
/Y
Cette manipulation permet d'enlever un répertoire dans le PATH
uniquement dans la session en court. Pour changer le PATH à chaque
nouveau démarrage du terminal, il faut supprimer dans le fichier de
configuration du shell l'ajout du répertoire en question (par exemple
dans /etc/bash.bashrrc ou ~/.bashrc pour bash).
jm