David BERCOT wrote:
Bonjour, Je me disais bêtement que si une variable d'environnement était définie dans /etc/profile, elle était valable dans une session Gnome. Apparemment, ce n'est pas le cas !
Ah bon? As-tu essayé de te reconnecter? (quitter gnome, logout, login, gnome encore). je ne vois pas pourquoi Gnome ferait du filtrage de variables d'environnement.