[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [linux] Source



Title: Source
merci !! désolé, j'ai mal utilisé la fonction search du man, je suis pas tombé sur le bon texte, merci encore!
-----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] 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.
-----Original Message-----
From: Fabian Vilers [mailto:fabian.v@speos.be]
Sent: lundi 22 avril 2002 13:39
To: ML Linux (E-mail)
Subject: [linux] Source

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