Um ohne System-Neustart/ Ab- und anschließender Anmeldung Änderungen an der Shell-Konfiguration vorzunehmen, kann das Shell-BuiltIn source
genutzt werden.
Was bewirkt source
?
source
führt die als Argument angehängte Datei in der selben Bash-Umgebung aus. In Verwendung mit den Konfigurationsdateien .bash_profile
oder .bashrc
erfolgt also ein Neu-Einlesen der Bash-Konfiguration im gleichen Prozess.
Verwendung
Je nach Nutzerkonfiguration kann entweder die .bash_profile
oder .bashrc
als Argument übergeben werden.
$ source ~/.bash_profile
$ source ~/.bashrc
Links
bash manpage
How do I reload .bashrc without logging out and back in?
Kommentar verfassen