mess-mate a écrit :
Raphaël 'SurcouF' Bordet <surcouf@debianfr.net> wrote: | Le mercredi 07 septembre 2005 à 17:24 +0200, mess-mate a écrit : | > Bonjour, | > je viens de m'apercevoir que mon ~/.bash_profile n'est pas pris en | > compte lors du login en interactif. | > Par ailleurs y'a pas de bash_profile dans /etc.
Es-tu bien sûr qu'il s'agit d'un shell de login ? Bash distingue bien les notions (orthogonales) de shell interactif et shell de login.
« A login shell is one whose first character of argument zero is a -, or one started with the --login option.
An interactive shell is one started without non-option arguments and without the -c option whose standard input and output are both connected to terminals (as determined by isatty(3)), or one started with the -i option. PS1 is set and $- includes i if bash is interactive, following a shell script or a startup file to test this state. »
J'ai moi-même galéré un moment avec ça... David.
| | L'équivalent est le fichier /etc/profile. | | > Comment peut-on faire pour que celui-ci soit pris en compte ? | | D'après le manuel de bash: | | «When bash is invoked as an interactive login shell, or as a| non-interactive shell with the --login option, it first reads and | executes commands from the file /etc/profile, if that file exists. | After reading that file, it looks for ~/.bash_profile, ~/.bash_login, | and ~/.profile, in that order, and reads and executes commands from the | first one that exists and is readable.» je sais :)