Re: Le fichier .profile n'est pas exécuté
Le 13 avril 2015, Sylvain L. Sauvage a écrit :
> Le lundi 13 avril 2015, 20:05:01 Alain Rpnpif a écrit :
> > Bonsoir,
>
> ’soir,
>
> > Sur ma Wheezy le fichier $HOME/.profile n'est plus exécuté
> > depuis je ne sais combien de temps et seulement sous Xfce.
>
> D’abord, comment est-ce que tu sais/déduis qu’il n’est pas
> chargé ?
Parce que je l'ai modifié avec un drapeau et ce n'est pas exécuté. De
plus mon $HOME/bin n'est pas mis dans le PATH.
> > Sous la console Linux, aucun problème.
> >
> > Si je le remplace par .bash_profile, c'est la même chose.
> >
> > Quel est le fichier qui devrait l'appeler ?
>
> Principalement, ton shell.
> man bash : les fichiers /etc/profile puis ~/.bash_profile (ou
> ~/.bash_login ou ~/.profile) sont chargés si le shell est lancé
> avec l’option --login (sauf si l’option --noprofile est
> présente).
>
> Lors d’un login graphique, ça dépend du dm. Donc, quel dm ?
>
bash --login exécute bien .profile.
Mon dm : lightdm qui lance Xfce.
Je viens de voir aussi que les couleurs des prompt de mes terminaux ont
été modifiées (vertes). Sans doute la même origine mais je sèche.
--
Alain Rpnpif
Reply to: