Ubuntu
gnome-terminal package

  1. Bug #78098
  2. Comment #8

Comment 8 for bug 78098

Revision history for this message
Alex Mauer (hawke) wrote : Re: http_proxy defined incorrectly

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.