[EMAIL PROTECTED] wrote:
> 
> [EMAIL PROTECTED] le 29/07/99 16:09:21
> 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.

La commande PATH=$PATH:$HOME/bin:. se lit comme cela :

mettre dans la variable PATH le resultat de la concatenation de la
variable PATH et des chemins $HOME/bin et . (le repertoire courant).

En fait, $HOME contient le chemin du repertoire maison de l'utilisateur
courant. Donc si tu te connectes comme 'jb', dans ton PATH tu aura
$HOME(=/home/jb)/bin.

Il n'etait donc pas utile de rajouter ce chemin a la main. Cela dit, ca
n'a absolument aucune importance, puisqu'il est assez rare d'avoir des
executables dans le repertoire maison. De plus, puisque '.' est dans ton
PATH, il te suffit de te mettre dans le repertoire contenant ton
application pour la lancer (et ainsi eviter d'avoir a taper
./application).

J'espere avoir ete clair :-)


-- 
****************************************
            Nicolas FRANCOIS
         [EMAIL PROTECTED]
 http://perso.club-internet.fr/nicofran

We are Micro$oft. Resistance is futile.
      You will be assimilated.
****************************************

Répondre à