Comment recharger les profils bash_profile et zsh à partir de la ligne de commande

Pour toute personne qui personnalise son apparence en ligne de commande, son invite, ajoute des alias, un nouveau PATH, définit des variables d'environnement ou modifie de quelque manière que ce soit son profil bash_profile, bashrc, zshrc et les profils shell connexes, il est utile de savoir comment recharger rapidement le profil.

De nombreux utilisateurs lancent simplement un nouveau shell ou ouvrent une nouvelle fenêtre de terminal, mais ce n'est pas nécessaire, il y a un moyen de rafraîchir directement le profil utilisé grâce à la commande source.

Recharger .bash_profile

Rafraîchir bash_profile depuis le répertoire personnel de l'utilisateur:

source .bash_profile

Rafraîchir le profil zsh à partir du répertoire personnel de l'utilisateur:

Lire aussi :  Comment démarrer et arrêter une minuterie sur iPhone et iPad avec Siri pour des comptes à rebours faciles

source ~/.zshrc

Recharger et rafraîchir d'autres profils de shell en ligne de commande, tcsh, fish, etc. est juste une question de pointer la source vers le script d'initialisation comme ça :

source ~/.profile

source ~/.tcshrc

C'est beaucoup plus facile et rapide que de lancer un nouveau shell, essayez-le la prochaine fois que vous ferez des ajustements à vos fichiers d'initialisation en ligne de commande.

Et oui, cela fonctionne aussi bien sous Mac OS X Terminal que sous linux.

Click to rate this post!
[Total: 1 Average: 4]

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *