TESTCASE: 1. reproduce problem 1.1. run "gnome-network-properties" and set: 1.1.1. (o) manual config 1.1.2. http proxy: "example.com", port: "8000" 1.2. run "gnome-terminal", and execute: 1.2.1. env | grep '^no_proxy=.*,$' && echo "BUG REPRODUCED" || echo "BUG SOLVED (or proxy not set)"
-- 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
