Re: $PATH

["jeanmarie.favreau" <jeanmarie.favreau@free.fr>]

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