registry team mailing list archive

[Michal <232469@xxxxxxxxxxxxxxxxxx>]

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.