Ich habe oft mal Änderungen an meinem ~/.bash_profile
, und ich muss Terminal neu starten für die Änderungen zu propagieren. Gibt es einen Befehl, den ich ausführen kann, um meine ~/.bash_profile
zu re-source?Gibt es eine Möglichkeit, von bash_profile zu "resourcen", ohne das Terminal neu zu starten?
5
A
Antwort
5
Ja, können Sie einfach laufen:
source ~/.bash_profile
Oder:
. ~/.bash_profile
Dies wird neu geladen/re-Quelle die .bash_profile
in der aktuellen Shell.
Ich habe diesen Befehl in meinem ~/.bash_profile
für Bequemlichkeit:
alias reprofile='source ~/.bash_profile'
Dann tippe ich nur reprofile
oder repro
TAB.
so etwas wie '$ source ~/.bash_profile'? – pah