← retour aux snippets

PATH: ajouter un répertoire temporairement et de façon persistante

Préfixer PATH dans la session et le rendre persistant pour les prochains shells.

bash shell #path#env#bash

objectif

Rendre disponibles des binaires utilisateurs sans installer globalement.

code minimal

# session courante
export PATH="$HOME/.local/bin:$PATH"

utilisation

# persistant pour Bash
grep -q 'export PATH="$HOME/.local/bin:$PATH"' ~/.bashrc || echo 'export PATH="$HOME/.local/bin:$PATH"' >> ~/.bashrc

variante(s) utile(s)

# persistant pour login shells
grep -q 'export PATH="$HOME/.local/bin:$PATH"' ~/.profile || echo 'export PATH="$HOME/.local/bin:$PATH"' >> ~/.profile

notes

  • PATH évalue dans l’ordre: ajoutez en tête pour prioriser.
  • évitez d’ajouter des doublons à chaque login (grep avant echo).