Quel est le but du fichier ~/.bash_profile
En plus d'avoir un répertoire personnel pour créer et stocker des fichiers, les utilisateurs ont besoin d'un environnement qui leur donne accès aux outils et aux ressources. Lorsqu'un utilisateur se connecte à un système, l'environnement de travail de l'utilisateur est déterminé par les fichiers d'initialisation. Ces fichiers d'initialisation sont définis par le shell de démarrage de l'utilisateur, qui peut varier en fonction de la version. Les fichiers d'initialisation par défaut de votre répertoire personnel vous permettent de personnaliser votre environnement de travail.
Vous trouverez ci-dessous divers fichiers d'initialisation pour Bash Shell
- Le /etc/profil file est un fichier à l'échelle du système que l'administrateur système gère. Ce fichier définit les tâches que le shell exécute pour chaque utilisateur qui se connecte. Les instructions contenues dans le fichier définissent généralement les variables du shell, telles que PATH, USER et HOSTNAME.
- Le ~/.bash_profile file est un fichier de configuration permettant de configurer les environnements utilisateur. Les utilisateurs peuvent modifier les paramètres par défaut et y ajouter des configurations supplémentaires.
- Le ~/.bash_login Le fichier contient des paramètres spécifiques qui sont exécutés lorsqu'un utilisateur se connecte au système.
- Le
- Le ~/.bash_logout le fichier contient des instructions pour la procédure de déconnexion.
Configuration du fichier .bash_profile
Le fichier .bash_profile est un fichier d'initialisation personnel pour la configuration de l'environnement utilisateur. Le fichier est défini dans votre répertoire personnel et peut être utilisé pour :
- Modification de votre environnement de travail en définissant des variables d'environnement personnalisées et des paramètres de terminal
- Demander au système de lancer des applications