Source a file (bash)
Naar navigatie springen
Naar zoeken springen
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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