Come ricaricare i profili bash_profile e zsh da Command Line
Per chiunque esegua personalizzazioni al proprio aspetto da linea di comando, prompt, aggiunta di alias, un nuovo PATH, impostazione delle variabili di ambiente, o comunque modifica di bash_profile, bashrc, zshrc e relativi profili di shell, è utile sapere come ricaricare velocemente il profilo.
Molti utenti lanciano semplicemente una nuova shell o aprono una nuova finestra di terminale, ma non c'è bisogno di farlo, c'è un modo per aggiornare direttamente il profilo in uso grazie al comando source.
Ricarica .bash_profile
Aggiorna bash_profile dalla home directory degli utenti: source .bash_profile
Aggiorna il profilo zsh dalla home directory degli utenti: source ~/.zshrc
Ricaricare e aggiornare altri profili di shell della riga di comando, tcsh, fish, ecc è solo una questione di puntare l'origine allo script di inizializzazione in questo modo:
source ~/.profile
source ~/.tcshrc
Questo è molto più semplice e veloce del lancio di una nuova shell, provalo la prossima volta che stai apportando delle modifiche ai file di inizializzazione della riga di comando.
E sì, questo funziona su Mac OS X Terminal e su Linux.