Sebastien, did you remember to start a new gnome-terminal tab or window after changing this setting? It doesn't take effect on existing shells.
-- http_proxy defined incorrectly https://launchpad.net/bugs/78098 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs