et PATH le . ]]>
la commande : bash -v est très "diarrhéerique
Verbeux ou diarrhéique, tout dépend par quel coté on s’exprime.
Les items, je ne sais pas a priori, mais avec cette commande tu pourras pister exactement ce que charge ton ~/.bashrc.
Sinon j'ai trouvé la réponse à ton problème, pour exécuter le fichier ~/.bash_profile il faut forcer bash à ce lancer comme interpréteur de connexion avec la commande :.
voir le man bash.]]>
MicpP a écrit
Le fichier ~/.bash_profile n'est aussi pris en compte que pour les "login shell"
Donc un ~/.bash_profile n'atteindra pas mon objectif : modifier le PATH en dehors du ~/.bashrc
Le plus simple, est peut-être de garder cette solution, dans le cas d'un xterm lancé en mode graphique ]]>
Chez moi il n'existe pas. J'ai créé un ~/.bash_profile mais il ne semble pas exécuté au login. Faut-il le rendre exécutable ?
S'il ne s'exécute pas, c'est que bash en prend un autre à la place ou alors il est lancé avec l'option --noprofile ou alors il est lancé avec un groupe différent de l'utilisateur ou autre ??
Tout en gardant le fichier ~/.bash_profile peux-tu donner le résultat de la commande :
]]>
…J'ai créé un ~/.bash_profile mais il ne semble pas exécuté au login.
C'est exactement la même prise en compte que pour le fichier ~/.profile :
Le fichier ~/.bash_profile n'est aussi pris en compte que pour les "login shell"
voir la page man de bash :
pour la version originale de la page man de bash :
]]>
Philou92 a écrit:
Utilise le fichier : ".bash_profile", s'il existe c'est ce fichier qui est sourcé en priorité par bash.
Chez moi il n'existe pas. J'ai créé un ~/.bash_profile mais il ne semble pas exécuté au login. Faut-il le rendre exécutable ?]]>
Question triviale, exist-il une autre façon de définir le "PATH" qu'en modifiant ~/bashrc . J'exclue le fait de modifier /etc/profile par root
Voir réponse au post #2]]>
…pourtant ~/.profile n'est jamais exécuté au démarrage…
Le "jamais" ne concerne que les émulateurs de terminal lancés depuis l'environnement de bureau
qui a été lancé par une ouverture de session, et donc, identification (donc, pour ce terminal, ce n'est pas un "login" shell) du compte utilisateur.
# ~/.profile: executed by the command interpreter for login shells. …
Mais il faut s'identifier (donc, ce sera un "login" shell)
pour ouvrir une session en utilisant l'émulateur de terminal de l'interface en mode texte
qui est accessible depuis le mode graphique par le raccourci clavier Ctrl+Alt+F1 à F6
et dans ce cas, le fichier ~/.profile sera pris en compte (si tant est qu'en même temps, les fichiers ~/.bash_profile ou/et ~/.bash_login ne soient pas présents).]]>
Et pourtant ~/.profile n'est jamais exécuté au démarrage : toute modification du "PATH" est ignoré. Sauf si on source .profile
Donc, à partir de quoi est est exécuté ~/.bashrc ?
Jusqu'ici, je fais mes modifs. de PATH dans .bashrc (elles sont bien prise en compte...) mais ce n'est pas très Unix...]]>