.BASH_PROFILE Bestandsextensie
Bash-bestand voor interactieve login-shell
| Ontwikkelaar | The GNU Project |
| Populariteit |
3,7 | 30 stemmen |
Wat is een BASH_PROFILE-bestand?
Shell-bestand dat wordt gebruikt door terminalprogramma's in Mac OS X en Linux; bevat configuratie-instructies voor de shellomgeving, zoals omgevingsvariabelen en standaardscripts die moeten worden uitgevoerd; wordt vaak gebruikt om voorkeuren voor de opdrachtprompt van gebruikers in te stellen, evenals bestandssysteempaden naar mappen en programmabinaire bestanden.
Meer informatie
BASH_PROFILE-bestanden worden automatisch uitgevoerd voor interactieve aanmeldingsshells. Met andere woorden: ze worden uitgevoerd nadat een gebruiker zich heeft aangemeld met zijn aanmeldingsgegevens of wanneer een nieuw terminalvenster wordt gemaakt. Dit verschilt van .BASHRC-bestanden, die alleen worden uitgevoerd wanneer Bash-shellscripts worden uitgevoerd in een terminal die al is geopend.
Omdat gebruikers vaak zowel BASH_PROFILE- als BASHRC-bestanden willen uitvoeren bij het aanmelden, nemen ze vaak het volgende segment op in het BASH_PROFILE-bestand. Dit zorgt ervoor dat het BASHRC-bestand wordt uitgevoerd wanneer alleen het BASH_PROFILE-bestand wordt uitgevoerd:
if [ -f ~/.bashrc ]. Then
source ~/.bashrc
fi
OPMERKING: BASH_PROFILE-bestanden zijn verborgen in de basismap van een gebruiker en hebben geen bestandsnaamprefix. Ze gebruiken altijd de bestandsnaam .bash_profile.