Re: environnement shell

[Jacques L'helgoualc'h <lhh+no_spam@free.fr>]

benoit soete a écrit, samedi 11 mars 2006, à 13:53 :
> Bonjour,

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

En général, ce bin/firefox est un exécutable, pas un répertoire ?

> 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 :
> 
> ~$ echo $PATH
> /usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games
> 
> Il me semble pourtant que c'est la manière de faire, je viens de relire 
> le mini path howto...

L'initialisation de  bash est passablement  compliquée... essaie d'abord
d'ajouter « export PATH » dans ton /etc/profile, s'il ne l'est pas déjà.

Ajoute aussi « { date; echo nom_du_fichier ; env ; } >>/tmp/env_fichier.log » 
dans les différents fichiers d'initialisation pour essayer de suivre le jeu de
piste... il y a des différences entre shells de login, interactifs, etc.
-- 
Jacques L'helgoualc'h