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 Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs