Extension de fichier .BASH_PROFILE
- Développeur par : Le projet GNU
- Catégorie : Fichiers système
- Format : Texte
Que sont les fichiers .BASH_PROFILE et comment les ouvrir ?
Impossible d'ouvrir le fichier .BASH_PROFILE ? Vous vous demandez ce qu'il contient ? Sur notre site nous vous expliquerons ce qu'est ce fichier, à quoi il sert et quel logiciel ouvre le fichier .BASH_PROFILE.Qu'est-ce qu'une extension de fichier .BASH_PROFILE ?
L'extension de fichier .BASH_PROFILE est créée par le projet GNU. .BASH_PROFILE a été classé comme fichiers système. Le format du fichier .BASH_PROFILE est Texte.
.BASH_PROFILE est un fichier shell de connexion interactif Bash
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 de l'utilisateur ainsi que les chemins du système de fichiers pour les répertoires et les fichiers binaires du programme.
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 qu'un utilisateur se connecte avec ses identifiants de connexion, ou lorsqu'une nouvelle fenêtre de terminal est créée. Cela diffère des fichiers .BASHRC, qui ne sont exécutés que lorsque des scripts shell Bash sont exécutés dans un terminal déjà ouvert.
Étant donné que les utilisateurs souhaitent souvent exécuter à la fois les fichiers BASH_PROFILE et BASHRC lors de la connexion, ils incluent souvent le segment suivant dans le fichier BASH_PROFILE, ce qui force l'exécution du fichier BASHRC lorsque seul le fichier BASH_PROFILE est exécuté :
si [ -f ~/.bashrc ]. Puis
source ~/.bashrc
fi
REMARQUE : les fichiers BASH_PROFILE sont cachés dans le répertoire personnel d'un utilisateur et ne contiennent pas de préfixe de nom de fichier. Ils utilisent toujours le nom de fichier .bash_profile .
| Mac |
|
| Linux |
|