[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [linux] Source
Title: Source
Ce
n'est pas tout à fait correct,
man
source renvoie vers man BASH_BUILTINS(1) qui te suggère d'aller voir à man bash
(see also).
Dans
man bash, tu trouves (en faisant une recherche sur source):
source
filename [arguments]
Read and execute commands from
filename in the current shell environment and return the exit status of the last
command executed from filename. [...]
Donc
source ~/.bash_profile inclut le fichier .bash_profile à l'endroit où tu lis
cette ligne dans ton script et exécute toutes les commandes qui s'y
trouvent.
Voilà,
Christophe.
Qqn connait-il l'utilité de la commande 'source' (built-in
bash)?
man source balance vers man bash qui lui ne dévoile
rien.
Voici dans quel cas j'ai vu cette commande:
source ~/.bash_profile
Merci d'avance!
______________________________
Fabian
Vilers
Electronic Document Developper
Direct phone : +32 2 558 02 39
www.speos.be