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 -- Lisez la FAQ de la liste avant de poser une question : http://wiki.debian.org/fr/FrenchLists Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe" vers [email protected] En cas de soucis, contactez EN ANGLAIS [email protected] Archive: https://lists.debian.org/[email protected]
