Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
doc:programmation:shell:path [03/08/2015 18:17] milou [Changer les dossiers par défaut] |
doc:programmation:shell:path [03/08/2015 18:18] milou [Remarque] |
||
---|---|---|---|
Ligne 115: | Ligne 115: | ||
Pour modifier le $PATH pour un utilisateur donné, éditez(([[:doc:editeurs:nano | Editeur nano]])) le fichier de configuration de votre terminal pour le compte //utilisateur// : | Pour modifier le $PATH pour un utilisateur donné, éditez(([[:doc:editeurs:nano | Editeur nano]])) le fichier de configuration de votre terminal pour le compte //utilisateur// : | ||
- | <code bash> | + | <code root> |
nano /home/utilisateur/.bashrc</code> | nano /home/utilisateur/.bashrc</code> | ||
Et j'y ajoute cette ligne : | Et j'y ajoute cette ligne : | ||
Ligne 124: | Ligne 124: | ||
Pour ajouter le dossier /usr/**games** dans le //$PATH// du root. \\ | Pour ajouter le dossier /usr/**games** dans le //$PATH// du root. \\ | ||
J'édite en terminal root le fichier /root/.bashrc ainsi : | J'édite en terminal root le fichier /root/.bashrc ainsi : | ||
- | <code bash> | + | <code root> |
nano /root/.bashrc</code> | nano /root/.bashrc</code> | ||
Ligne 135: | Ligne 135: | ||
Pour modifier le $PATH pour tous les utilisateurs, ajoutez la même ligne dans le fichier de configuration général de votre terminal qui doit se trouver ici : /etc/bash.bashrc. | Pour modifier le $PATH pour tous les utilisateurs, ajoutez la même ligne dans le fichier de configuration général de votre terminal qui doit se trouver ici : /etc/bash.bashrc. | ||
- | <code bash> | + | <code root> |
nano etc/bash.bashrc.</code> | nano etc/bash.bashrc.</code> | ||