Comment recharger bash_profile, profils zsh à partir de la ligne de commande
Pour toute personnalisation de l'apparence, de l'invite de commande, de l'ajout d'alias, d'un nouveau PATH, de la définition de variables d'environnement ou de la modification de leurs profils bash_profile, bashrc, zshrc et shell, il est utile de savoir comment recharger rapidement le profil.
Beaucoup d'utilisateurs lancent simplement un nouveau shell ou ouvrent une nouvelle fenêtre de terminal, mais il n'y a pas besoin de faire cela, il existe un moyen de rafraîchir directement le profil en cours d'utilisation grâce à la commande source.
Recharger .bash_profile
Actualisez bash_profile à partir du répertoire de base des utilisateurs: source .bash_profile
Actualiser le profil zsh du répertoire de base des utilisateurs: source ~/.zshrc
Le rechargement et l'actualisation d'autres profils de shell de ligne de commande, tcsh, fish, etc est juste une question de source de pointage au script d'initialisation comme ceci:
source ~/.profile
source ~/.tcshrc
C'est beaucoup plus facile et plus rapide que de lancer un nouveau shell, essayez-le la prochaine fois que vous faites des ajustements à vos fichiers d'initialisation de ligne de commande.
Et oui cela fonctionne dans Mac OS X Terminal ainsi que linux.