Bonsoir, Sur ma Wheezy le fichier $HOME/.profile n'est plus exécuté depuis je ne sais combien de temps et seulement sous Xfce. Sous la console Linux, aucun problème. Si je le remplace par .bash_profile, c'est la même chose. Quel est le fichier qui devrait l'appeler ? Cordialement. -- Alain Rpnpif