@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