Re: environnement shell

[benoit soete <nattybwoai@neuf.fr>]

Simon Vallet a écrit :

> 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
> >    
>
>  
non non c'est parce que j'avais rédigé autrement au départ...

> 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
>
>  
Je n'ai pas précisé mais bien évidemment j'ai redémarré ma session, j'ai 
déjà fait çà auparavant, là c'est une etch toute neuve...

> Pour émuler ceci :
> $ bash --login
> $ echo $PATH
>
> Simon
>
>  
merci