Configuration persistante

ShellBeginner
Pratiquer maintenant

Introduction

Dans les laboratoires précédents, les configurations disparaissaient à la fermeture du terminal. C’est comme une chambre d’hôtel : elle est réinitialisée.

Pour conserver vos modifications, vous devez les enregistrer dans un fichier de configuration spécifique.

Il s’agit d’une habitude importante dans l’utilisation d’un système. Les modifications temporaires sont utiles pour faire des essais, mais le comportement durable du shell doit généralement être défini dans les fichiers de démarrage que le shell lit au début des sessions.

Les différents shells utilisent des fichiers différents :

  • Zsh (shell par défaut de LabEx) : ~/.zshrc.
  • Bash : ~/.bashrc.

Cette différence est importante, car « le shell » n’est pas un programme universel unique. Chaque shell possède ses propres conventions, règles de démarrage et fichiers de configuration.

Dans ce laboratoire, vous allez :

  • Modifier la configuration de Zsh.
  • Passer à Bash.
  • Modifier la configuration de Bash.

Modifier la configuration de Zsh (.zshrc)

Le shell LabEx par défaut est Zsh. Son fichier de configuration est ~/.zshrc.

  1. Ouvrez ~/.zshrc :
nano ~/.zshrc
  1. Faites défiler le fichier jusqu’à la fin et ajoutez :
alias hellozsh='echo Hello from Zsh'
  1. Enregistrez le fichier et quittez (Ctrl + O -> Enter -> Ctrl + X).

Vous avez écrit la configuration, mais le shell ne l’a pas encore lue.

La modification d’un fichier de configuration change le fichier sur le disque, mais ne modifie pas instantanément le comportement du shell en cours d’exécution. Le shell doit relire ce fichier pour que les nouveaux paramètres prennent effet.

Recharger la configuration (source)

Forcez le shell à recharger son fichier de configuration avec source.

La commande source demande au shell courant de lire les commandes d’un fichier et de les exécuter dans la session actuelle, plutôt que dans un nouveau processus enfant.

  1. Rechargez la configuration :
source ~/.zshrc
  1. Testez votre nouvel alias :
hellozsh

Sortie :

Hello from Zsh

Cet alias est maintenant persistant dans Zsh.

Passer à Bash

Essayez maintenant l’isolation propre à chaque shell.

  1. Passez à Bash :
bash
  1. Essayez d’exécuter l’alias de Zsh :
hellozsh

Sortie : command not found.

La commande échoue, car Bash consulte uniquement ~/.bashrc.

Cela rappelle que les personnalisations du shell sont souvent propres à chaque shell. Un paramètre créé pour un shell ne devient pas automatiquement universel.

Modifier la configuration de Bash (.bashrc)

Configurez maintenant Bash.

  1. Ouvrez .bashrc :
nano ~/.bashrc
  1. Ajoutez cet alias à la fin du fichier :
alias hellobash='echo Hello from Bash'
  1. Enregistrez le fichier et quittez.

  2. Rechargez la configuration de Bash :

source ~/.bashrc
  1. Testez-la :
hellobash

Sortie : Hello from Bash.

  1. Quittez Bash pour revenir à Zsh :
exit

Résumé

Dans ce laboratoire, vous avez appris à personnaliser durablement votre environnement Linux :

  • Spécificités des shells : les différents shells (Zsh, Bash) utilisent des fichiers de configuration différents (.zshrc, .bashrc).
  • Persistance : les modifications effectuées dans une session de terminal sont temporaires, sauf si elles sont enregistrées dans ces fichiers.
  • Source : l’utilisation de source permet d’appliquer immédiatement les modifications sans redémarrer le terminal.

Vous comprenez maintenant comment personnaliser votre environnement, quel que soit le shell que vous utilisez !