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