.BASH_PROFILE Estensione file
File della shell Bash per l'accesso interattivo
| Sviluppatore | The GNU Project |
| Popolarità |
3,7 | 30 Voti |
Che cos'è un file BASH_PROFILE?
File della shell utilizzato dai programmi terminale di Mac OS X e Linux; memorizza le istruzioni di configurazione per l'ambiente della shell, come le variabili d'ambiente e gli script predefiniti da eseguire; viene comunemente utilizzato per impostare le preferenze del prompt dei comandi dell'utente, nonché i percorsi del file system per le directory e i file binari dei programmi.
Maggiori informazioni
I file BASH_PROFILE vengono eseguiti automaticamente dalle shell di accesso interattive. In altre parole, vengono eseguiti dopo che un utente accede con le proprie credenziali, oppure quando viene creata una nuova finestra del terminale. Questo è diverso dai file .BASHRC, che vengono eseguiti solo quando gli script della shell Bash vengono eseguiti all'interno di un terminale già aperto.
Poiché gli utenti spesso vogliono eseguire sia i file BASH_PROFILE sia i file BASHRC al momento dell'accesso, spesso includono il segmento seguente nel file BASH_PROFILE, che forza l'esecuzione del file BASHRC quando viene eseguito solo il file BASH_PROFILE:
if [ -f ~/.bashrc ]. Then
source ~/.bashrc
fi
NOTA: I file BASH_PROFILE sono nascosti nella directory home dell'utente e non contengono un prefisso nel nome del file. Utilizzano sempre il nome file .bash_profile.