-----Original Message-----
From: Christophe Schockaert [mailto:Christophe.Schockaert@spacebel.be]
Sent: lundi 22 avril 2002 14:27
To: 'linux@lists.unixtech.be'
Subject: RE: [linux] SourceCe 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.-----Original Message-----
From: Fabian Vilers [mailto:fabian.v@speos.be]
Sent: lundi 22 avril 2002 13:39
To: ML Linux (E-mail)
Subject: [linux] SourceQqn 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