Quelle est la variable d'environnement PATH et comment y ajouter?

Copie partielle: Comment ajouter un répertoire au PATH?

PATH est une variable d'environnement. En gros, cela indique à votre machine où rechercher les programmes, alors lorsque vous exécutez votre programme picc, vous pouvez simplement faire ceci:

picc

au lieu de

/usr/hitech/picc/9.82/bin/picc

Pour ajouter un répertoire à votre $PATH , suivez l'une des options ci-dessous.

Méthode 1

Modifier ~/.profile :

gedit ~/.profile

trouvez la ligne suivante:

PATH="$HOME/bin:$PATH"

et changez-le en:

PATH="$HOME/bin:$PATH:/usr/hitech/picc/9.82/bin"

Méthode 2

Exécutez la commande ci-dessous dans le terminal:

export PATH=$PATH:/usr/hitech/picc/9.82/bin

Les variables d'environnement Shell sont utilisées à plusieurs fins, depuis le stockage des données, le stockage des configurations logicielles, la définition des paramètres du terminal et la modification de l'environnement du shell. Les variables d'environnement sont normalement définies au démarrage ou par différents logiciels, selon les besoins. Une manière de définir les variables d’environnement est la ligne de commande.

Liste toutes les variables du terminal

env

cela affichera toutes les variables que vous avez

Afficher une variable à la fois

La quantité de ces variables peut devenir une liste très longue et la localisation d’une variable spécifique peut devenir une tâche difficile. Heureusement, Linux nous permet d'afficher la valeur d'une variable shell en utilisant la commande echo avec le nom de la variable. Cela rend la tâche très facile. exemple: echo "$HOME"

Ajouter ou modifier une variable

Pour ajouter ou modifier une variable d'environnement, nous pouvons utiliser la commande d'exportation suivie du nom de la variable et des valeurs qui l'accompagnent.

export NameofVariable='value'

Notez toutefois que cela ne fonctionnera que pour la session shell en cours. Il ne sera disponible dans aucun autre terminal.

vi(m) ~/.profile
PATH="$HOME/bin:$HOME/.local/bin:{whatever_path_you_need_to_add}:$PATH"

Si vous n'avez pas de fichier .profile ... cela en créera aussi un:

Dans ce scénario, ajoutez ceci également -

if [ -n "$BASH_VERSION" ]; then
   # include .bashrc if it exists
   if [ -f "$HOME/.bashrc" ]; then
      . "$HOME/.bashrc"
   fi
fi

# set PATH so it includes user's private bin directories

PATH="$HOME/bin:$HOME/.local/bin:/usr/bin:$PATH"