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 du fichier BASH_PROFILE, qui force l’exécution du fichier BASHRC lorsque seul le fichier BASH_PROFILE est exécuté:
if [-f ~ / .bashrc]. Puis source ~ / .bashrcfi
REMARQUE: les fichiers BASH_PROFILE sont masqué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.