Hello all,
Apparently this is a combined gnome config/wget issue so I'm posting it
individually to both sides.
I've found a situation where wget always times out when behind a proxy,
even if proxy login credentials etc. are 100% correct.
Reason for the timeout is that wget apparently chokes on a
trailing comma in the no_proxy environment variable.
The Gnome tools should not have added this comma (as there are no
further entries); wget should not choke on it.
For now I've worked around it by adding this in my .bashrc:
export no_proxy=`echo $no_proxy|sed -e 's/,$//'`
(But surely wget could do something similar itself if it
detects a trailing comma in no_proxy!)
Kindest regards,
Marc Brevoort
