Comment ajouter / home / nom d'utilisateur / bin à $ PATH?
Montrez comment vous pouvez ajouter /home/<yourusername>/bin à la variable $PATH. Utilisez $HOME (ou ~) pour représenter votre répertoire personnel.
Pour ce faire, vous devez saisir votre terminal:
export PATH="$HOME/bin:$PATH"
Cette modification n'est que temporaire (elle ne fonctionne que dans la session en cours du shell). Pour le rendre permanent, ajoutez la ligne à votre fichier .bashrc situé dans votre répertoire personnel.
Ubuntu (et les distributions basées sur Debian) ajoutent automatiquement $HOME/bin à PATH si ce répertoire est présent. Vous pouvez vérifier ceci dans ~/.profile:
# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH"
fi