Source" est la version longue de la commande ".". A l'invite de bash, on peut faire :
source ~/.bashrc
pour recharger vos paramètres (modifiés ?) de bash pour le bash en cours d'exécution.
La version courte serait :
. ~/.bashrc
La page de manuel :
. filename [arguments]
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. If
filename does not contain a slash, file names in PATH are used to find the
directory containing filename. The file searched for in PATH need not be
executable. When bash is not in posix mode, the current directory is
searched if no file is found in PATH. If the sourcepath option to the shopt
builtin command is turned off, the PATH is not searched. If any arguments
are supplied, they become the positional parameters when filename is
executed. Otherwise the positional parameters are unchanged. The return
status is the status of the last command exited within the script (0 if no
commands are executed), and false if filename is not found or cannot be
read.
9 votes
Liés : superuser.com/questions/176783/
70 votes
Vous avez oublié
$ type source
source is a shell built-in
3 votes
Mon Shell a retourné ceci
$ whatis source
source (1) - bash built-in commands, see bash(1)
. Aussi,man source
m'emmène auBASH_BUILTINS(1)
pages du manuel. Ceci est sur Fedora, je ne sais pas pourquoi les paquets debian ne sont pas (ou mal) documentés.6 votes
@lesmana, excellent lien. Ce réponse liée est la réponse la plus complète à cette question.
10 votes
Essayez "source d'aide".
0 votes
source --help
est un bon début.0 votes
$ help source Est la commande de documentation que vous recherchez. $ help vous donnera une liste des modules intégrés de bash.