Source a file (bash)

Uit De Vliegende Brigade
Versie door Jeroen Strompf (overleg | bijdragen) op 14 nov 2015 om 16:02
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)
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