Estensione del file .BASH_PROFILE
- Sviluppatore di: The GNU Project
- Categoria: File di sistema
- Formato: testo
Cosa sono i file .BASH_PROFILE e come aprirli?
Non riesci ad aprire il file .BASH_PROFILE? Ti stai chiedendo cosa contiene? Sul nostro sito ti spiegheremo cos'è questo file, a cosa serve e quale software apre il file .BASH_PROFILE.Che cos'è un'estensione di file .BASH_PROFILE?
L'estensione del file .BASH_PROFILE è creata da The GNU Project. .BASH_PROFILE è stato classificato come file di sistema. Il formato del file .BASH_PROFILE è Testo.
.BASH_PROFILE è il file della shell di accesso interattivo di Bash
File shell utilizzato da Mac OS X e programmi terminali Linux; memorizza le istruzioni di configurazione per l'ambiente shell, come variabili di ambiente e script predefiniti da eseguire; comunemente usato per impostare le preferenze del prompt dei comandi dell'utente, nonché i percorsi del file system per le directory e i binari del programma.
I file BASH_PROFILE vengono eseguiti automaticamente per le shell di accesso interattive. In altre parole, vengono eseguiti dopo che un utente effettua l'accesso con le proprie credenziali di accesso o 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 desiderano eseguire sia i file BASH_PROFILE che BASHRC all'accesso, spesso includono il seguente segmento nel file BASH_PROFILE, che forza l'esecuzione del file BASHRC quando viene eseguito solo il file BASH_PROFILE:
se [ -f ~/.bashrc ]. Quindi
sorgente ~/.bashrc
fi
NOTA: i file BASH_PROFILE sono nascosti nella home directory di un utente e non contengono un prefisso del nome file. Usano sempre il nome del file .bash_profile .
| Mac |
|
| Linux |
|