Ho spesso modificato il .bashrc
file per esportare nuove variabili di ambiente.
Invece di chiudere la console e avviarne una nuova per aggiornare le variabili env, esiste un modo conveniente per aggiornare?
Ho spesso modificato il .bashrc
file per esportare nuove variabili di ambiente.
Invece di chiudere la console e avviarne una nuova per aggiornare le variabili env, esiste un modo conveniente per aggiornare?
Risposte:
Nella stessa finestra, puoi semplicemente digitare bash
per avviarne uno nuovo. Ciò equivale a chiudere la finestra e riaprirne una nuova.
In alternativa, è possibile digitare source ~/.bashrc
per l'origine del .bashrc
file.
source
. si può semplicemente digitare dot invece di esso: . ~/.bashrc
.
source
mostra all'utente quale comando viene chiamato. Non credo nel mostrare i comandi abbreviati ai nuovi utenti fino a quando non capiranno cosa sta facendo il codice.
source
è un bashismo più lungo da scrivere ma non offre vantaggi rispetto al suo portatile su tutte le shell equivalenti, .
non vedo il punto di incoraggiare nessuno, nuovo o esperto, a usarlo.
source
è il modo corretto