Source a file (bash)

Uit De Vliegende Brigade
Naar navigatie springen Naar zoeken springen

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: Na het toevoegen van een alias aan .bashrc, zorgen dat deze alias geactiveerd wordt:

source .bashrc

Bronnen