Sous Linux (également UNIX) $PATH est une variable d'environnement, utilisée pour indiquer au shell où rechercher les fichiers exécutables. $PATH La variable offre une grande flexibilité et sécurité aux systèmes Linux et on peut dire sans se tromper qu'il s'agit de l'une des variables d'environnement les plus importantes.
À ne pas manquer : Comment définir et annuler les variables d'environnement locales, utilisateur et système
Programmes/scripts situés dans les $PATH répertoire, peuvent être exécutés directement dans votre shell, sans spécifier le chemin complet vers eux. Dans ce tutoriel, vous allez apprendre à définir $PATH variable globalement et localement.
Voyons d'abord la valeur actuelle de votre $PATH. Ouvrez un terminal et lancez la commande suivante :
$ echo $PATH
Le résultat devrait ressembler à ceci :
/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
Le résultat affiche une liste de répertoires séparés par des deux-points. Vous pouvez facilement ajouter d'autres répertoires en modifiant le fichier de profil shell de votre utilisateur.
Dans différents shells, cela peut être :
- Shell bash -> ~/.bash_profile, ~/.bashrc ou profil
- Korn Shell -> ~/.kshrc ou .profile
- Z shell -> ~/.zshrc ou .zprofile
Veuillez noter que selon la façon dont vous vous connectez au système en question, différents fichiers peuvent être lus. Voici ce que dit le manuel bash, gardez à l'esprit que les fichiers sont similaires pour les autres shells :
/bin/bash The bash executable /etc/profile The systemwide initialization file, executed for login shells ~/.bash_profile The personal initialization file, executed for login shells ~/.bashrc The individual per-interactive-shell startup file ~/.bash_logout The individual login shell cleanup file, executed when a login shell exits ~/.inputrc Individual readline initialization file|
Compte tenu de ce qui précède, vous pouvez ajouter plus de répertoires au $PATH variable en ajoutant la ligne suivante au fichier correspondant que vous utiliserez :
$ export PATH=$PATH:/path/to/newdir
Bien sûr, dans l'exemple ci-dessus, vous devez modifier "/path/to/newdir" avec le chemin exact que vous souhaitez définir. Une fois que vous avez modifié votre .*rc ou .*_profile fichier, vous devrez le rappeler en utilisant la "source" commande.
Par exemple, dans bash, vous pouvez faire ceci :
$ source ~/.bashrc
Ci-dessous, vous pouvez voir un exemple de mon $PATH environnement sur un ordinateur local :
[email protected][TecMint]:[/home/marin] $ echo $PATH /usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/home/marin/bin
Il s'agit en fait d'une bonne pratique pour créer un "bin" local dossier pour les utilisateurs où ils peuvent placer leurs fichiers exécutables. Chaque utilisateur aura son dossier séparé pour stocker son contenu. C'est également une bonne mesure pour sécuriser votre système.
Si vous avez des questions ou des difficultés à définir votre $PATH variable d'environnement, n'hésitez pas à soumettre vos questions dans la section des commentaires ci-dessous.