.bash_profile neu einlesen
Weil ich es immer irgendwie vergesse, kurz notiert wie man die .bash_profile neu einliest, wenn man darin etwas geändert hat. source ~/.bash_profile Ich brauche es zumindest nicht oft, aber wenn – dann muss ich erstmal suchen.