The problem is the extra comma at the end of $no_proxy, as Krieg describes.
Lucid:
Code:
% echo $no_proxy
localhost,127.0.0.0/8,*.local,192.168.1.0/24,
Jaunty:
Code:
% echo $no_proxy
localhost,127.0.0.0/8,*.local,192.168.1.0/24
"sudo -i" initializes environmental variables with /etc/environment, thus $no_proxy is cleared and wget goes well.
Wget on Jaunty also fails to apply proxy settings when I add an extra comma at the very end of $no_proxy. It seems wget assumes that there is a wildcard (*) after the extra comma. I don't know whether this is a feature of wget or not.
Bookmarks