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 | Révision précédente Prochaine révision Les deux révisions suivantes | ||
doc:programmation:shell:path [03/08/2015 18:15] milou [Préambule] |
doc:programmation:shell:path [03/08/2015 18:18] milou [Remarque] |
||
---|---|---|---|
Ligne 39: | Ligne 39: | ||
Je vous invite à taper dans votre terminal : | Je vous invite à taper dans votre terminal : | ||
- | <code bash> | + | <code user> |
echo $PATH</code> | echo $PATH</code> | ||
Vous obtenez une liste de répertoires. Par exemple chez moi : | Vous obtenez une liste de répertoires. Par exemple chez moi : | ||
- | /usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games | + | <file config retour de la commande>/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games</file> |
A quoi ça sert ? \\ | A quoi ça sert ? \\ | ||
C'est simple, quand vous tapez une commande du genre | C'est simple, quand vous tapez une commande du genre | ||
- | <code bash> | + | <code user> |
frozen-bubble</code> | frozen-bubble</code> | ||
Ligne 74: | Ligne 74: | ||
Je regarde donc ce que contient le $PATH root : | Je regarde donc ce que contient le $PATH root : | ||
- | <code bash> | + | <code user> |
echo $PATH</code> | echo $PATH</code> | ||
J'obtiens : | J'obtiens : | ||
- | <code> | + | <file config retour de la commande> |
- | /usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bin/X11</code> | + | /usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bin/X11</file> |
- | Je me rend compte que le dossier ///usr/games// n'est pas présent. \\ | + | Je me rends compte que le dossier ///usr/games// n'est pas présent. \\ |
Voici comment l'ajouter : | Voici comment l'ajouter : | ||
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> | ||