Appendice G. File importanti

file di avvio (startup)

Questi file contengono gli alias e le variabili d'ambiente che vengono rese disponibili a Bash, in esecuzione come shell utente, e a tutti gli script Bash invocati dopo l'inizializzazione del sistema.

/etc/profile

valori predefiniti del sistema, la maggior parte dei quali inerenti all'impostazione dell'ambiente (tutte le shell di tipo Bourne, non solo Bash [1])

/etc/bashrc

funzioni e alias di sistema per Bash

$HOME/.bash_profile

impostazioni d'ambiente predefinite di Bash specifiche per il singolo utente. Si trova in ogni directory home degli utenti ( il corrispettivo locale di /etc/profile)

$HOME/.bashrc

file init Bash specifico per il singolo utente. Si trova in ogni directory home degli utenti ( il corrispettivo locale di /etc/bashrc). Solo le shell interattive e gli script utente leggono questo file. In Appendice K viene riportato un esempio di un file .bashrc.

file di arresto (logout)

$HOME/.bash_logout

file di istruzioni specifico dell'utente. Si trova in ogni directory home degli utenti. Dopo l'uscita da una shell di login (Bash), vengono eseguiti i comandi presenti in questo file.

Note

[1]

Questo non valido per csh, tcsh e per tutte le altre shell non imparentate o non derivanti dalla classica shell Bourne (sh).