Source a file (bash)
Versie door Jeroen Strompf (overleg | bijdragen) op 14 nov 2015 om 16:02
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