Re: $PATH différents dans un terminal et en console ??
On 3 aoû 2004, jeannot wrote:
[ ... ]
> Quelqu'un peut m'expliquer?
Je ne sais pas pour bash, mais en général les shells "modernes"
disposent de profiles (enfin j'appelle ça) qui ne font pas tout
à fait les mêmes choses suivant la façon dont on les lance.
Certains se lancent avec le profile "login", d'autres non.
Je suis à peu près sûr que dans tous les cas, une simple option
permet d'indiquer à ton shell de sourcer _toujours_ le
bash_profile.
++
--
Hito no kokoro wa kawareru mono
Reply to: