Kevin Kofler (./1224) :
Sous GNOME, tu peux injecter une variable d'environnement par D-Bus avec gnome-session. Malheureusement, je ne crois pas que KDE propose une telle interface.
Généralement, le conseil est de redémarrer la session tout simplement.
C'est plutôt con ça... perso je considère le redémarrage de l'environnement de bureau comme aussi ennuyeux qu'un redémarrage de la machine, car je perds quasi tout ce que je suis en train de faire

Et le fait de rentrer de l'uni et me poser à la maison pour continuer mon travail, où il n'y a plus de proxy cette fois, est un use case courant (et pas que pour moi j'imagine).