50 votes

user233233 avatar

Comment ajouter /home/username/bin à $PATH ?

Demandé el 8 de Janvier, 2014
Quand la question a-t-elle été
178615 affichage
Nombre de visites la question a
2 Réponses
Nombre de réponses aux questions
Résolu
Situation réelle de la question

Montrez comment vous pouvez ajouter /home/<yourusername>/bin à la $PATH variable. Utiliser $HOME (ou ~ ) à pour représenter votre répertoire personnel.

Demandé el 8 de Janvier, 2014 par user233233

Réponses

Trop de publicités?

69voto

Zaphod avatar
Zaphod Points 141

Pour ce faire, vous devez taper dans votre terminal :

export PATH="$HOME/bin:$PATH"

Cette modification n'est que temporaire (elle ne fonctionne que dans la session actuelle du Shell). Pour la rendre permanente, ajoutez la ligne suivante à votre fichier .bashrc situé dans votre répertoire personnel.

Répondu el 8 de Janvier, 2014 par Zaphod (141 Points )

36voto

falconer avatar
falconer Points 14278

Ubuntu (et les distros basées sur Debian) ajoute automatiquement $HOME/bin au PATH si ce répertoire est présent. Vous pouvez le vérifier dans ~/.profile :

# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
    PATH="$HOME/bin:$PATH"
fi
Répondu el 8 de Janvier, 2014 par falconer (14278 Points )

Questions en vedette

Top Tags

Dans notre réseau

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

Yandex
X