Je connais la différence entre les deux scripts de connexion bash: .bashrc est exécuté uniquement par des shells "non-login". .bash_profile(ou .bash_loginou .profile) est exécuté par des coquilles "login". Quelqu'un a-t-il de bons exemples de choses qui conviennent mieux à une exécution avec un...