[EMAIL PROTECTED] le 29/07/99 16:09:21 Veuillez r�pondre � [EMAIL PROTECTED] Pour : [EMAIL PROTECTED] cc : (ccc : Serge TCHESMELI/MEDITERRANEE/EJL/GTM/SLE) Objet : [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 v�rifie dans le /etc/profiles aussi
