Menu
Coddy logo textTech

Le fichier de profil

Fait partie de la section Les fondamentaux du Journey Terminal de Coddy — leçon 64 sur 82.

Les variables que vous définissez et exportez ne durent que jusqu'à ce que vous fermiez le terminal. Pour les rendre permanentes, vous devez les ajouter à un fichier de profil qui s'exécute automatiquement lorsque vous démarrez une nouvelle session shell.

Le fichier de profil le plus courant est ~/.bashrc pour les shells Bash ou ~/.zshrc pour Zsh. Ces fichiers sont des scripts shell qui s'exécutent chaque fois que vous ouvrez un nouveau terminal. Vous pouvez afficher votre fichier de profil avec :

cat ~/.bashrc

Pour ajouter une variable d'environnement permanente, ajoutez une instruction export à votre fichier de profil :

echo 'export MY_VAR="hello"' >> ~/.bashrc

Les guillemets simples empêchent le shell d'expanser la variable maintenant, et le ajoute au fichier au lieu de l'écraser. Après avoir ajouté au profil, le changement ne prendra pas effet dans votre session actuelle. Vous devez soit ouvrir un nouveau terminal, soit recharger le fichier avec :

source ~/.bashrc

La commande source exécute le fichier dans votre shell actuel, en appliquant immédiatement toute nouvelle variable ou configuration. C’est ainsi que les développeurs personnalisent leur environnement de terminal avec des préférences personnelles, des raccourcis et des configurations qui persistent d’une session à l’autre.

challenge icon

Défi

Facile

Ajoutez une variable d'environnement permanente à votre fichier de profil, puis rechargez-le pour appliquer les modifications.

Premièrement, ajoutez une instruction d'exportation à ~/.bashrc qui définit une variable appelée WORKSPACE avec la valeur /home/user/projects. Utilisez des guillemets simples autour de l'ensemble de l'instruction d'exportation pour empêcher l'expansion des variables.

Ensuite, utilisez la commande source pour recharger le fichier de profil afin que la variable prenne effet immédiatement.

Enfin, utilisez echo pour afficher la valeur de votre nouvelle variable WORKSPACE.

Votre sortie finale devrait être :

/home/user/projects

Indice : Utilisez echo 'export WORKSPACE="/home/user/projects"' >> ~/.bashrc pour ajouter, puis source ~/.bashrc pour recharger, et enfin echo $WORKSPACE pour vérifier.

Aide-mémoire

Les variables d'environnement définies avec export ne durent que jusqu'à la fermeture du terminal. Pour les rendre permanentes, ajoutez-les à un fichier de profil comme ~/.bashrc (Bash) ou ~/.zshrc (Zsh).

Affichez votre fichier de profil :

cat ~/.bashrc

Ajoutez une variable d'environnement permanente à votre profil :

echo 'export MY_VAR="hello"' >> ~/.bashrc

Utilisez des guillemets simples pour empêcher l'expansion des variables, et pour ajouter (et non écraser).

Rechargez le fichier de profil pour appliquer les changements immédiatement :

source ~/.bashrc

La commande source exécute le fichier dans votre shell actuel, appliquant les nouvelles variables sans ouvrir un nouveau terminal.

Essayez vous-même

Terminal
quiz iconTestez-vous

Cette leçon comprend un petit quiz. Commencez la leçon pour y répondre et suivre votre progression.

Toutes les leçons de Les fondamentaux