Bash
Sequenza di esecuzione dei file
Ricerca…
introduzione
.bash_profile
, .bash_login
, .bashrc
e .profile
fanno quasi la stessa cosa: imposta e definisci funzioni, variabili e tipi.
La differenza principale è che .bashrc
viene chiamato all'apertura di una finestra non di login ma interattiva e .bash_profile
e gli altri sono chiamati per una shell di login. Molte persone hanno comunque il loro profilo .bash_profile
o simile .bashrc
.
Osservazioni
Altri file di note sono:
/etc/profile
, per il codice di inizializzazione a livello di sistema (non specifico dell'utente)..bash_logout
, attivato al momento del logout (si pensi alle cose di pulizia).inputrc
, simile a.bashrc
ma per readline.
.profile vs .bash_profile (e .bash_login)
.profile
viene letto dalla maggior parte delle shell all'avvio, incluso bash. Tuttavia, .bash_profile
viene utilizzato per le configurazioni specifiche di bash. Per il codice di inizializzazione generale, inserirlo in .profile
. Se è specifico per bash, usa .bash_profile
.
.profile
non è in realtà progettato per bash in particolare, è invece il .bash_profile
. ( .profile
è per Bourne e altre shell simili, che bash è basato su) Bash ricadrà su .profile
se .bash_profile
non viene trovato.
.bash_login
è un fallback per .bash_profile
, se non viene trovato. In genere, è meglio usare .bash_profile
o .profile
.