Skip navigation

Commande : source

La commande source.

La commande de la source peut être utilisé pour recharger/rafraîcher un fichier de fonctions dans le script shell courant ou d’une invite de commande.

user@debian~#: source fichier

Une fois le fichier /home/user/.bashrc modifié, pour le faire prendre en compte par la session courante, il faut lancer la commande source avec en paramètre le fichier.

user@debian~#: source .bashrc

by | July 9, 2014 | No Comments | Système | Tags : terminal