.BASH_PROFILE Extension de fichier

Fichier de shell de connexion interactif Bash

Développeur	The GNU Project
Popularité	3,7 \| 30 Votes

Qu'est-ce qu'un fichier BASH_PROFILE ?

Shell utilisé par les programmes de terminal de Mac OS X et Linux ; stocke les instructions de configuration de l'environnement du shell, telles que les variables d'environnement et les scripts par défaut à exécuter ; couramment utilisé pour définir les préférences de l'invite de commande de l'utilisateur ainsi que les chemins du système de fichiers vers les répertoires et les fichiers binaires des programmes.

Plus d'informations

Les fichiers BASH_PROFILE sont automatiquement exécutés pour les shells de connexion interactifs. Autrement dit, ils sont exécutés après qu'un utilisateur s'est connecté avec ses identifiants, ou lorsqu'une nouvelle fenêtre de terminal est créée. Cela diffère des fichiers .BASHRC, qui sont exécutés uniquement lorsque des scripts de shell Bash sont exécutés dans un terminal déjà ouvert.

Comme 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 force l'exécution du fichier BASHRC lorsque seul le fichier BASH_PROFILE est exécuté :

if [ -f ~/.bashrc ]. Then
source ~/.bashrc
fi

REMARQUE : Les fichiers BASH_PROFILE sont masqué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.