Extensie de fișier .BASH_PROFILE
- Dezvoltator de: Proiectul GNU
- Categorie: Fișiere de sistem
- Format: text
Ce sunt fișierele .BASH_PROFILE și cum să le deschid?
Nu puteți deschide fișierul .BASH_PROFILE? Te întrebi ce conține? Pe site-ul nostru vă vom explica ce este acest fișier, la ce este folosit și ce software deschide fișierul .BASH_PROFILE.Ce este o extensie de fișier .BASH_PROFILE?
Extensia de fișier .BASH_PROFILE este creată de Proiectul GNU. .BASH_PROFILE a fost clasificat ca fișiere de sistem. Formatul fișierului .BASH_PROFILE este Text.
.BASH_PROFILE este fișierul shell de conectare interactiv Bash
Fișier Shell utilizat de programele terminale Mac OS X și Linux; stochează instrucțiuni de configurare pentru mediul shell, cum ar fi variabilele de mediu și scripturile implicite de executat; folosit în mod obișnuit pentru setarea preferințelor promptului de comandă al utilizatorului, precum și căile sistemului de fișiere pentru directoare și programe binare.
Fișierele BASH_PROFILE sunt rulate automat pentru shell-urile de conectare interactive. Cu alte cuvinte, acestea sunt executate după ce un utilizator se conectează cu datele de conectare sau când este creată o nouă fereastră de terminal. Acest lucru diferă de fișierele .BASHRC, care sunt rulate numai atunci când scripturile shell Bash sunt executate într-un terminal care este deja deschis.
Deoarece utilizatorii doresc adesea să ruleze atât fișierele BASH_PROFILE, cât și BASHRC la conectare, ei includ adesea următorul segment în fișierul BASH_PROFILE, care forțează rularea fișierului BASHRC atunci când este executat numai fișierul BASH_PROFILE:
dacă [ -f ~/.bashrc ]. Apoi
sursa ~/.bashrc
fi
NOTĂ: Fișierele BASH_PROFILE sunt ascunse în directorul principal al unui utilizator și nu conțin un prefix de nume de fișier. Ei folosesc întotdeauna numele de fișier .bash_profile .
Mac |
|
Linux |
|