Contenu
- Type de fichier Fichier shell de connexion interactive
- Texte
- Qu'est-ce qu'un fichier BASH_PROFILE?
- À propos des fichiers BASH_PROFILE
Type de fichier Fichier shell de connexion interactive
Qu'est-ce qu'un fichier BASH_PROFILE?
Fichier shell utilisé par les programmes de terminaux Mac OS X et Linux; stocke les instructions de configuration pour l'environnement shell, telles que les variables d'environnement et les scripts par défaut à exécuter; couramment utilisé pour définir les préférences d'invite de commande utilisateur ainsi que les chemins du système de fichiers pour les répertoires et les fichiers binaires du programme. Plus d'information
Les fichiers BASH_PROFILE sont automatiquement exécutés pour les shells de connexion interactifs. En d'autres termes, ils sont exécutés après la connexion d'un utilisateur avec ses informations de connexion ou la création d'une nouvelle fenêtre de terminal. Cela diffère des fichiers .BASHRC, qui ne sont exécutés que lorsque les scripts du shell Bash sont exécutés dans un terminal déjà ouvert.
Étant donné que les utilisateurs souhaitent souvent exécuter les fichiers BASH_PROFILE et BASHRC lors de la connexion, ils incluent souvent le segment suivant dans le fichier BASH_PROFILE, ce qui oblige le fichier BASHRC à être exécuté lorsque seul le fichier BASH_PROFILE est exécuté:
si [-f ~ / .bashrc]. ensuite
source ~ / .bashrc
Fi
REMARQUE: Les fichiers BASH_PROFILE sont cachés dans le répertoire de base de l'utilisateur et ne contiennent pas de préfixe de nom de fichier. Ils utilisent toujours le nom de fichier .bash_profile.
TÉLÉCHARGEMENT GRATUIT Ouvrez plus de 300 formats de fichiers avec File Viewer Plus. Les programmes qui ouvrent les fichiers BASH_PROFILEMac |
|
Linux |
|
À propos des fichiers BASH_PROFILE
Notre objectif est de vous aider à comprendre ce qu'est un fichier avec le suffixe * .bash_profile et comment l'ouvrir.
Le type de fichier Bash Interactive Login Shell, la description du format de fichier et les programmes Mac et Linux répertoriés sur cette page ont été individuellement recherchés et vérifiés par l'équipe FileInfo. Nous visons une précision de 100% et ne publions que des informations sur les formats de fichiers que nous avons testés et validés.
Si vous souhaitez suggérer des ajouts ou des mises à jour à cette page, veuillez nous en informer.