il fait �crire soit:
PATH = ce qu'on veut
export PATH
ou export PATH = ce qu'on veut
Il faut utiliser le mot export en BASH pour que les variables
d'environnement prennent les valeurs voulues.
export PATH=$PATH:/usr/local/bin
_____________________________
Fr�d�ric Malenfant
Les Logiciels Saturne
Pont-Rouge
----- Original Message -----
From: <[EMAIL PROTECTED]>
To: <[EMAIL PROTECTED]>
Sent: Thursday, July 29, 1999 10:09 AM
Subject: [debutant] modif du PATH
> j'ai ajout� /home/jb/bin dans le path de .bash_profile
> PATH=$PATH:$HOME/bin:/home/jb/bin:.
> La commande echo $PATH m'a indiqu� que la modif �tait prise en compte.
>
> j'ai voulu supprimer cet ajout et j'ai r�tabli le chemin initial:
> PATH=$PATH:$HOME/bin:.
>
> mais la commande $ echo $PATH indique toujours
> /usr/local/bin:/usr/sbin:/usr/X11R6/bin:/home/jb/bin:.
> et ce apr�s avoir reboot� la machine.
>
> Quelle autre modification faut il faire?
> Merci.
> --
> Jean Bizet
>
