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 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs