Re: environnement shell
Bonjour,
On Sat, 11 Mar 2006 13:53:44 +0100
benoit soete <nattybwoai@neuf.fr> wrote:
> Bonjour,
>
> je suis sous debian etch,
>
> j'essaie d'étendre mon $PATH, j'ai d'abord modifié ~/.bash_profile
> if [ -d /usr/local/bin/firefox ] ; then
> PATH=/usr/local/bin/firefox:"${PATH}")
> sans succès
j'espère que ta parenthèse fermante ne fait pas partie du profile...
> puis /etc/profile
> if [ "`id -u`" -eq 0 ]; then
>
> PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bin/X11"
> else
>
> PATH="/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games:/usr/local/bin/firefox"
> fi
>
> rien à faire j'ai toujours le même $PATH :
les deux sont censés fonctionner, mais il faut que tu démarre une
nouvelle session pour que le profile soit pris en compte -- en gros
reprendre le processus de login depuis le départ
Pour émuler ceci :
$ bash --login
$ echo $PATH
Simon
--
Simon Vallet
http://www.castalie.org/pubkey.txt
Due to massive spam, the address shown in the From: header
only accepts mail from Debian hosts. If you wish to mail me
privately, just use the 'user' local part.
Reply to: