Modifier le PATH de manière permanante
Résolu
Bonjour,
je veux bien modifier le PATH de manière permanante ; c'est pour installer un logiciel
je dois écrire dans le fichier '~/.bashrc' la ligne suivante : export PATH=$PATH:/Users/mony/dossier/bin
j'ai cherché le fichier .bashrc dans mon PC mais je ne l'ai pas trouvé.
j'ai tapé cette ligne de commande : echo 'export PATH=$PATH:/Users/mony/omnet++/omnetpp/bin' >> /Users/mony/.bashrc
le fichier .bashrc a été créé; et quand je fais echo $PATH, je trouve la variable n'a pas changé
je me suis dis que c'est peut être à cause des droits associés au fichier, j'ai ajouté le droit d'exécution et ça n'a pas marché.
Quelqu'un peut m'aider?
j'ai aussi une question : qu'est ce que signifiie '~/' comme par exemple dans ~/.bashrc
ça indique quel chemin ?
Merci
je veux bien modifier le PATH de manière permanante ; c'est pour installer un logiciel
je dois écrire dans le fichier '~/.bashrc' la ligne suivante : export PATH=$PATH:/Users/mony/dossier/bin
j'ai cherché le fichier .bashrc dans mon PC mais je ne l'ai pas trouvé.
j'ai tapé cette ligne de commande : echo 'export PATH=$PATH:/Users/mony/omnet++/omnetpp/bin' >> /Users/mony/.bashrc
le fichier .bashrc a été créé; et quand je fais echo $PATH, je trouve la variable n'a pas changé
je me suis dis que c'est peut être à cause des droits associés au fichier, j'ai ajouté le droit d'exécution et ça n'a pas marché.
Quelqu'un peut m'aider?
j'ai aussi une question : qu'est ce que signifiie '~/' comme par exemple dans ~/.bashrc
ça indique quel chemin ?
Merci
Configuration: Mac OS X
4 réponses
-
Contributeurhello
~/ c'est $HOME, le dossier de l'utilisateur
y a-t-il un fichier ~/.profile ?
ton shell est bien bash ? -
ModérateurSalut,
qu'est ce que signifiie '~/' comme par exemple dans ~/.bashrc
Le "~/" signifie ton répertoire personnel (/home/ton_login)
Pour en revenir à ton problème, quel shell utilises-tu ? (echo $SHELL ou grep $USER /etc/passwd)
En fonction du shell, les fichiers de configurations peuvent varier.
Une fois le fichier ~/.bashrc modifié, il faut le "sourcer" (man bash) pour que les modifications soient prises en compte :source ~/.bashrc ou . ~/.bashrc
;-)) -
ContributeurSalut.
~ est un alias pour $HOME, c'est le répertoire utilisateur.
premièrement, utilise tu bash comme shell ?
fait un "man bash" à la fin il doit y avoir l'ensemble des fichiers de configuration lors du démarrage, vérifie quels sont les différents fichier appeler, si ils existe etc.
Ensuite, regarde dans ton home tout les fichiers .bash* .profile*, c'est peut être un de ceux là à modifier.
Ensuite, bien entendu les modifications ne sont pas imédiates, il faut lancer un nouveau shell pour que les modifications soient prises en compte -
merci Char Snipeur et dubcek pour vos explications
