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

Reply via email to