Qu'est-ce qu'un fichier BASH_PROFILE ?
Les fichiers avec l'extension BASH_PROFILE sont utilisés par les programmes de terminal sur Mac OS X et Linux. Ces terminaux utilisent une variété de fichiers shell, comme par exemple le fichier BASH_PROFILE. Les informations contenues dans le fichier BASH_PROFILE comprennent des instructions de configuration utilisées par le shell pour configurer un environnement. Cela inclut des variables et des scripts (par défaut). Les fichiers BASH_PROFILE sont utilisés par des shells de connexion interactifs. Ils définissent automatiquement certaines préférences d'invite de commande ou des chemins d'accès à des répertoires et des programmes.
Comme les fichiers BASH_PROFILE sont utilisés par un shell de connexion interactif, ils sont exécutés une fois que l'utilisateur a entré ses informations de connexion. Ces fichiers sont habituellement cachés sur le disque dur et sont difficilement accessibles que ce soit volontairement ou accidentellement. Par ailleurs, les fichiers BASH_PROFILE sont enregistrés sans préfixe du nom de fichier et ne sont donc constitués que de l'extension de fichier. Contrairement au fichier BASH_PROFILE qui est utilisé pour les shells de connexion interactifs, les shells de connexion non interactifs utilisent le fichier BASHRC.
Voici une petite liste, non exhaustive, des programmes qui peuvent ouvrir les documents BASH_PROFILE:
- Apple Terminal (Mac)
- GNU Bash (Mac & Linux)
- MacroMates TextMate (Mac)
