> That's a typo and you have use_proxy=on, right? Yes, my mistake.
> Hmm, I just did some testing myself, and it seems as if wget doesn't use > the http_proxy setting when accessing https:// URLs. Can you try to set > https_proxy in wgetrc as well? I didn't know that this options even exists. You're right, https_proxy did the trick. Seems like http_proxy had no effect. Thanks again for all your help, I've learned something today! -Paul
