Commande très triviale mais on oublie facilement comment la lancer…
Les 3 façons d’éxécuter un .bashrc
Pour lancer un fichier bash dans un autre répertoire, ici c’est le fichier bash.bashrc :
(Bien penser à mettre le point “.“)
# . /etc/bash.bashrc |
Pour lancer un fichier bash dans le répertoire courant, ici c’esr le fichier .bashrc :
(Bien penser à mettre le point “.“ et le tilde “~“)
# . ~/.bashrc |
Il également possible d’utiliser la commande source, qui exécute des commandes (ici celles contenues dans le .bashrc) à partir d’un fichier dans le shell actuel :
# source /le/chemin/du/.bashrc |