Après avoir suivi ce commentaire, j’ai ajouté toutes mes commandes de démarrage / alias ~/.bashrcet ~/.bash_profilej’ai ajoutésource ~/.bashrc Mais mes alias ne fonctionnent toujours pas. Je dois rechercher manuellement les ~/.bash_profileheures supplémentaires (avec source ~/.bash_profile). Mon...