Outils pour utilisateurs

Outils du site


terminal-root

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Both sides previous revision Révision précédente
terminal-root [2018/07/31 18:31]
g.rnd@free.fr [Scripts]
terminal-root [2018/07/31 18:32] (Version actuelle)
g.rnd@free.fr [Scripts]
Ligne 534: Ligne 534:
 Ajouter un répertoire au PATH peut donc être très pratique. Par convention, ce répertoire s'​appelle bin et se place dans lee répertoire personnel. Si le répertoire personnel est /home/toto, ce répertoire sera donc /​home/​toto/​bin. Pour pouvoir utiliser ces scripts en tapant directement leur nom (sans le "​./"​) depuis n'​importe quel répertoire de mon ordinateur, il me suffit d'​indiquer au shell de chercher aussi dans ce nouveau dossier en l'​ajoutant au PATH. Pour ceci, il suffit de faire : Ajouter un répertoire au PATH peut donc être très pratique. Par convention, ce répertoire s'​appelle bin et se place dans lee répertoire personnel. Si le répertoire personnel est /home/toto, ce répertoire sera donc /​home/​toto/​bin. Pour pouvoir utiliser ces scripts en tapant directement leur nom (sans le "​./"​) depuis n'​importe quel répertoire de mon ordinateur, il me suffit d'​indiquer au shell de chercher aussi dans ce nouveau dossier en l'​ajoutant au PATH. Pour ceci, il suffit de faire :
  
-e<​file>​xport PATH=$PATH:​$HOME/​bin</​file>​+<​file>​xport PATH=$PATH:​$HOME/​bin</​file>​
  
 La commande: La commande:
terminal-root.txt · Dernière modification: 2018/07/31 18:32 par g.rnd@free.fr