.BASH_PROFILE Dateiendung
Bash-Datei für interaktive Anmeldeshells
| Entwickler | The GNU Project |
| Beliebtheit |
3,7 | 31 Stimmen |
Was ist eine BASH_PROFILE-Datei?
Shell-Datei, die von Terminalprogrammen unter Mac OS X und Linux verwendet wird; speichert Einrichtungshinweise für die Shell-Umgebung, z. B. Umgebungsvariablen und Standardskripte, die ausgeführt werden sollen; wird häufig verwendet, um Einstellungen für die Eingabeaufforderung des Benutzers sowie Dateisystempfade für Verzeichnisse und Programmbinärdateien festzulegen.
Weitere Informationen
BASH_PROFILE-Dateien werden automatisch für interaktive Anmeldeshells ausgeführt. Mit anderen Worten: Sie werden ausgeführt, nachdem sich ein Benutzer mit seinen Anmeldedaten angemeldet hat oder wenn ein neues Terminalfenster erstellt wird. Dies unterscheidet sie von .BASHRC-Dateien, die nur ausgeführt werden, wenn Bash-Shellskripte innerhalb eines bereits geöffneten Terminals ausgeführt werden.
Da Benutzer häufig sowohl BASH_PROFILE- als auch BASHRC-Dateien bei der Anmeldung ausführen möchten, fügen sie oft den folgenden Abschnitt in die BASH_PROFILE-Datei ein. Dieser sorgt dafür, dass die BASHRC-Datei ausgeführt wird, wenn nur die BASH_PROFILE-Datei ausgeführt wird:
if [ -f ~/.bashrc ]. Then
source ~/.bashrc
fi
HINWEIS: BASH_PROFILE-Dateien sind im Homeverzeichnis eines Benutzers verborgen und enthalten kein Dateinamenspräfix. Sie verwenden immer den Dateinamen .bash_profile.