Recharger Bashrc

Ce tutoriel couvrira les principes fondamentaux du .fichier bashrc. Nous couvrirons ce que c'est, comment le modifier et comment appliquer les modifications apportées à un .fichier bashrc.

Quel est le .fichier bashrc?

Le .Le fichier bashrc est un script shell qui régit la façon dont le shell bash lance. Il est utilisé pour initialiser une session de shell bash interactif basé sur la configuration du fichier.

Le fichier bashrc est responsable de la maintenance des directives de configuration telles que les variables d'environnement, les alias de commande, l'historique des commandes de bash, les variables de coloriage et de personnalisation, et bien d'autres.

Où puis-je trouver le .fichier bashrc?

Par défaut, le .Le fichier bashrc est situé dans le répertoire personnel de tout utilisateur qui utilise Bash comme shell.

C'est un fichier caché (ce qui signifie qu'il commence par une période). Pour voir le .fichier bashrc, vous pouvez utiliser l'option -a dans la commande LS.

Un exemple est comme indiqué:

$ ls -LA

La commande ci-dessus doit renvoyer tous les fichiers du répertoire domestique, y compris les fichiers et les répertoires cachés.

total 40
drwxr-x --- 5 Ubuntu Ubuntu 4096 25 mai 01:21 .
DRWXR-XR-X 3 racine racine 4096 15 mai 01: 07…
-RW ------- 1 Ubuntu Ubuntu 479 25 mai 01:25 .bash_history
-rw-r - r-- 1 Ubuntu Ubuntu 220 mai 15 01:07 .bash_logout
-RW-R - r-- 1 Ubuntu Ubuntu 3771 15 mai 01:07 .bashrc
DRWXR-XR-X 3 Ubuntu Ubuntu 4096 24 mai 16:49 .cache
drwxr-xr-x 2 Ubuntu Ubuntu 4096 15 mai 01:07 .paysage
DRWXR-XR-X 5 Ubuntu Ubuntu 4096 24 mai 16:49 .local
-rw-r - r-- 1 Ubuntu Ubuntu 0 mai 25 01:21 .motd_shown
-RW-R - r-- 1 Ubuntu Ubuntu 807 15 mai 01:07 .profil
-RW ------- 1 Ubuntu Ubuntu 44 mai 25 01:21 .python_history
-RW-R - r-- 1 Ubuntu Ubuntu 0 mai 16 18:59 .sudo_as_admin_successful

Comment modifier le .fichier bashrc

Le .Le fichier bashrc est un fichier texte brut. Cependant, il nécessite un format spécifique lors de l'ajout de directives particulières.

Vous pouvez en savoir plus sur le fichier de démarrage Bash dans la ressource ci-dessous:

https: // www.gnou.org / logiciel / bash / manual / html_node / bash-startup-files.html

Pour l'instant, modifiez le .Fichier Bashrc avec votre éditeur de texte et ajoutez une commande Echo simple:

$ nano ~ /.bashrc

Ajoutez la ligne suivante à la fin du fichier:

écho "salut les gens"

Enregistrez et fermez le fichier.

Vous pouvez utiliser la commande Cat pour afficher le contenu du .fichier bashrc.

$ cat ~ /.Bashrc | moins

Recharger .bashrc

Après avoir modifié le .Fichier Bashrc, vous devrez le recharger pour appliquer les modifications. Vous pouvez le faire en utilisant la commande source:

$ source ~ /.bashrc

La commande ci-dessus doit charger le .Fichier Bashrc et imprimer le message que nous avons ajouté plus tôt.

$ source .bashrc
Salut les gens

Vous pouvez également utiliser une version plus courte:

$ . ~ /.bashrc
Salut les gens

Notez que depuis le .Le fichier bashrc est chargé dans chaque nouvelle session de shell, vous pouvez recharger le fichier en commençant simplement une nouvelle session de shell.

Conclusion

Tout au long de cet article, nous avons discuté des principes fondamentaux de l'édition du .fichier bashrc. Nous avons également discuté de rechargement de votre .Fichier Bashrc sans démarrer une nouvelle session de shell.