Le fichier de profil
Fait partie de la section Fondamentaux du Journey Terminal de Coddy. Leçon 64 sur 82.
Les variables que tu définis et exportes ne durent que jusqu’à ce que tu fermes le terminal. Pour les rendre permanentes, tu dois les ajouter à un fichier de profil qui s’exécute automatiquement au démarrage d’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 tu ouvres un nouveau terminal. Tu peux afficher ton fichier de profil avec :
cat ~/.bashrcPour ajouter une variable d’environnement permanente, ajoutez une instruction export à votre fichier de profil :
echo 'export MY_VAR="hello"' >> ~/.bashrcLes apostrophes indiquent au shell d’écrire la ligne exactement comme elle a été saisie, donc les guillemets doubles autour de hello se retrouvent dans le fichier. >> ajoute du contenu au fichier au lieu de l’écraser. Après avoir ajouté cette ligne au profil, la modification ne prendra pas effet dans votre session actuelle. Vous devez soit ouvrir un nouveau terminal, soit recharger le fichier avec :
source ~/.bashrcLa commande source exécute le fichier dans votre shell actuel, en appliquant immédiatement toute nouvelle variable ou tout nouveau paramètre. C’est ainsi que les développeurs personnalisent leur environnement de terminal avec leurs préférences personnelles, leurs raccourcis et leurs configurations, qui persistent d’une session à l’autre.
Défi
FacileAjoute une variable d’environnement permanente à ton fichier de profil, puis recharge-le pour appliquer les modifications.
Tout d’abord, ajoute une instruction export à ~/.bashrc qui définit une variable appelée WORKSPACE avec la valeur /home/user/projects. Utilise des guillemets simples autour de toute l’instruction export pour empêcher l’expansion des variables.
Ensuite, utilise la commande source pour recharger le fichier de profil afin que la variable prenne effet immédiatement.
Enfin, utilise echo pour afficher la valeur de ta nouvelle variable WORKSPACE.
Ta sortie finale devrait être :
/home/user/projectsIndice : Utilise
echo 'export WORKSPACE="/home/user/projects"' >> ~/.bashrcpour ajouter l’instruction, puissource ~/.bashrcpour recharger le fichier, et enfinecho $WORKSPACEpour vérifier.
Essayez vous-même
Cette leçon comprend un petit quiz. Commencez la leçon pour y répondre et suivre votre progression.
Toutes les leçons de Fondamentaux
4Répertoires
Créer Un RépertoireCopier Un RépertoireDéplacer Et Renommer Un RépertoireSupprimer Un RépertoireRécapitulatif - Opérations Sur Les Répertoires7Contenu de fichier
Head et TailComptage de motsCommande SortCommande UniqBases de GrepGrep avec optionsRécap - Détective de texte10Projet Analyseur de Journaux
Aperçu du ProjetAffichage du Fichier Journal2Navigation
Afficher le répertoire de travailLister les fichiersChanger de répertoireChemins absolus vs relatifsRépertoire personnel et racineRécap - Trouver son chemin5Projet Organiser les Photos
Aperçu du ProjetCréation de la Structure8Redirection
Sortie standardÉcraser vers un fichierAjouter à un fichierEntrée standardErreur standardRécapitulatif - Constructeur de logs11Permissions
Comprendre les permissionsLire les permissionsChmod avec des nombresChmod avec des symbolesPropriété des fichiersRécapitulatif - Verrouillez tout14Projet de Script de Sauvegarde
Aperçu du ProjetObtenir le Chemin Source3Fichiers
Créer Un FichierLire Un FichierCopier Un FichierDéplacer Et Renommer Un FichierSupprimer Un FichierRécapitulatif - Opérations Sur Les Fichiers6Caractères jokers et motifs
Le joker étoileLe joker point d'interrogationJokers entre crochetsCombiner les jokersRécapitulatif - Opérations sélectives9Les pipes
Qu'est-ce qu'une pipe ?Chaîner deux commandesChaîner plusieurs commandesPipe avec GrepRécapitulatif - Pipeline de donnéesEntraînez-vous par vous-même : Playground Terminal