@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
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
