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:
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.