Par défaut, le fichier .bash_profile n’est pas pris en compte lors du lancement d’un terminal sous Ubuntu. Pour qu’il le soit, il faut procéder de la manière suivante :
- Ouvrir un terminal
- Aller dans Édition → Profils… → Modifier → Titre et commande
- Cocher l’option Lancer la commande en tant que shell de connexion
Lorsque cette option est activée, les scripts de connexion de l’utilisateur, comme le .bash_profile, sont exécutés au lancement d’un terminal gnome, de la même manière que lors d’une connexion en mode console.