I confirm, that this bug is FIXED in gnome-terminal 2.30.2-0ubuntu1. confirmation steps: 1. made copy of /usr/bin/gnome-terminal binary 2. upgraded gnome-terminal from proposed repository to 2.30.2-0ubuntu1 3. setup proxy in gnome 4. verified that issue is reproducible using OLD version of gnome-terminal binary 5. verified that issue is NOT reproducible using NEW version of gnome-terminal binary
This fix make everyday work much easier for me and many people I know. Thank you very much! -- [lucid] setup_http_proxy_env constructs no_proxy incorrectly https://bugs.launchpad.net/bugs/534225 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
