Retour au cours

variables d'environnement et profil

Contrôlez l’environnement du shell et le chargement des profils.

objectifs d’apprentissage

  • Voir/éditer PATH.
  • Exporter une variable.
  • Utiliser ~/.profile et ~/.bashrc.

prérequis

  • Shell bash/zsh.
  • Éditeur de texte.

notions clés

  • export.
  • persistant vs session.
  • source et .

démonstration guidée

étape 1

Lister et modifier PATH temporairement.

echo "$PATH"
export PATH="$HOME/bin:$PATH"
command -v mycmd || true

étape 2

Rendre une variable persistante.

echo 'export EDITOR=vim' >> ~/.bashrc
. ~/.bashrc
echo "$EDITOR"

exercice

Ajoutez ~/scripts à PATH via ~/.profile et vérifiez.

correction

Ajout persistant.

mkdir -p ~/scripts && echo 'echo ok' > ~/scripts/ok && chmod +x ~/scripts/ok
echo 'export PATH="$HOME/scripts:$PATH"' >> ~/.profile
. ~/.profile && command -v ok

quiz éclair

  1. Quelle commande recharge le fichier courant dans le shell ?
  • a) source fichier
  • b) reload fichier
  • c) exec fichier

ressources

Sujets abordés