Source a file (bash)

Met het commando

source <filename>

of

. <filename>

wordt een Bash-bestand geëxecuteerd. Dus uitgevoerd alsof alle commando's op de command line worden ingetikt.

Als je een bestand sourced, heb je geen shebang (bv. #!/bin/bash) nodig. Ook hoeft het bestand niet executeerbaar te zijn (chmod +x <filename>).

Voorbeeld:

source .bashrc

na aanpassing van het bestand.

Bronnen

• http://www.tldp.org/HOWTO/Bash-Prompt-HOWTO/x237.html