Bonjour
serged
… dans ~/bin, que j'ajoute au $PATH dans .bashrc. …
Il n'est pas nécessaire d'ajouter le répertoire ~/bin au PATH dans ~/.bashrc puisque
si le répertoire ~/bin existe, ce sera fait automatiquement grâce à ces quelques lignes de commande qui sont déjà dans le fichier ~/.profile
Code : Tout sélectionner
# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH"
fi
Donc, juste après avoir créé le répertoire ~/bin il suffit de se déconnecter de sa session pour que le répertoire ~/bin soit automatiquement ajouté au PATH à l'ouverture des nouvelles sessions.
EDIT : Logiquement, le fichier ~/.profile ne devrait être sourcé que si le shell est un login shell.
Lire le chapitre APPEL dans le manuel du shell bash
en entrant la ligne de commande suivante :
Cordialement.
… et dans ce royaume, ceux qui y voient un peu plus clair sont parfois très mal vus.
Portable : Thinkpad T450 | Debian 13 & Mint 22.2 | Xfce | i5-5300U | 16GB | HD Graphics 5500