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 Registry Administrators, which is the registrant for Debian. _______________________________________________ Mailing list: https://launchpad.net/~registry Post to : [email protected] Unsubscribe : https://launchpad.net/~registry More help : https://help.launchpad.net/ListHelp
