[Bug 232469] Re: wget does not use network proxy in some cases
Michal
232469 at bugs.launchpad.net
Fri Sep 3 19:35:15 UTC 2010
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 Mozilla
Bugs, which is subscribed to flashplugin-nonfree in ubuntu.
More information about the Ubuntu-mozillateam-bugs
mailing list