Wie man bash_profile, zsh-Profile von der Befehlszeile neu lädt
Für jeden, der Anpassungen an der Befehlszeile, der Eingabeaufforderung, dem Hinzufügen von Aliasnamen, einem neuen PATH, dem Festlegen von Umgebungsvariablen oder dem Ändern der Profile bash_profile, bashrc, zshrc und verwandter Shells vornimmt, ist es hilfreich, das Profil schnell neu zu laden.
Viele Benutzer starten einfach eine neue Shell oder öffnen ein neues Terminalfenster. Dies ist jedoch nicht notwendig. Es gibt eine Möglichkeit, das verwendete Profil dank des Befehls source direkt zu aktualisieren.
Laden Sie .bash_profile neu
Aktualisieren Sie bash_profile im Home-Verzeichnis des Benutzers: source .bash_profile
Aktualisieren Sie das zsh-Profil im Home-Verzeichnis des Benutzers: source ~/.zshrc
Das erneute Laden und Aktualisieren anderer Kommandozeilen-Shell-Profile, tcsh, fish usw., ist nur eine Frage des Zeigens der Quelle auf das Initialisierungsskript:
source ~/.profile
source ~/.tcshrc
Dies ist viel einfacher und schneller als das Starten einer neuen Shell, probieren Sie es aus, wenn Sie das nächste Mal Anpassungen an den Befehlszeilen-Initialisierungsdateien vornehmen.
Und ja, das funktioniert sowohl in Mac OS X Terminal als auch in Linux.