@Bill:
thanks for working on this patch. I think one of the first step will to report 
the issue upstream and post your patch.
You should open a bug against gnome-terminal package in ubuntu ("Also affects 
distribution" -> gnome-terminal in ubuntu).
You can then link your bug in Launchpad to this one in clicking on "also 
affects projects", ensure you have gnome-terminal selected, and copy the url 
from upstream bug report).
Thanks a lot!

-- 
wget does not use network proxy in some cases
https://bugs.launchpad.net/bugs/232469
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