Modifier et recharger le fichier .Bashrc
Ce tutoriel montre comment éditer le fichier .bashrc
et recharger les nouvelles modifications en utilisant la commande source
ou la commande exec
.
Qu’est-ce que .bashrc
?
.bashrc
est un script shell bash que bash s’exécute chaque fois qu’il démarre de manière interactive. Il initialise une session shell interactive. Le fichier .bashrc
contient des configurations pour la session de terminal. Ces configurations incluent la coloration, l’historique du shell, l’achèvement, les alias de commande, les variables d’environnement et bien d’autres.
Le .bashrc
est un fichier caché. Pour afficher les fichiers cachés, exécutez ls
avec l’option -a
. L’option -a
indique à ls
de lister toutes les entrées, y compris celles commençant par .
, l’option -l
indique à ls
de lister les entrées dans un format de liste longue, et le |
dirige la sortie ls
vers la commande head
qui imprime les dix premières lignes de la sortie.
$ ls -al | head
A partir de la sortie ci-dessous, nous pouvons observer que nous avons le fichier .bashrc
.
total 94064
drwxr-xr-x 1 fumba fumba 4096 Nov 14 11:37 .
drwxr-xr-x 1 root root 4096 Sep 7 07:41 ..
-rw------- 1 fumba fumba 30965 Nov 13 23:16 .bash_history
-rw-r--r-- 1 fumba fumba 220 Sep 7 07:41 .bash_logout
-rw-r--r-- 1 fumba fumba 3771 Sep 7 07:41 .bashrc
drwxr-xr-x 1 fumba fumba 4096 Sep 7 21:35 .cache
drwx------ 1 fumba fumba 4096 Sep 7 15:05 .config
drwxr-xr-x 1 fumba fumba 4096 Sep 7 07:41 .landscape
drwxr-xr-x 1 fumba fumba 4096 Sep 23 06:41 .local
On peut utiliser la commande cat
pour afficher le contenu du fichier .bashrc
en tapant la commande suivante.
$ cat .bashrc
Modifier .bashrc
et recharger les modifications
Ajoutez la fonction suivante à la fin du fichier .bashrc
en utilisant votre éditeur de texte préféré. La fonction affiche la date de ce jour particulier lorsqu’elle est appelée.
date_today(){
date '+Today is %A, %B %d, %Y.'
}
Après avoir enregistré les modifications, nous pouvons recharger le .bashrc
pour refléter les nouvelles modifications en exécutant la commande ci-dessous. La commande source
lit et exécute le contenu du fichier .bashrc
.
$ source .bashrc
Une autre façon de recharger les modifications dans le fichier .bashrc
consiste à exécuter exec bash
. La commande exec bash
remplace le shell bash actuel par une nouvelle instance.
$ exec bash
Pour appeler la fonction que nous avons créée dans le fichier .bashrc
, tapez le nom de la fonction comme indiqué ci-dessous.
$ date_today
La sortie de la fonction ci-dessus imprime la date actuelle.
Today is Sunday, November 14, 2021.