wget through proxy

[Patrick Ware_1]

Hello,

I was just curious of how to use the wget command with a proxy config file? Here is the format of the URL that I use in my Mozilla browser:

http://proxy.server:8081/proxy_file

[Christian Deutsch_1]

Dear Patrick,

Did you try

export http_proxy=http://proxy.server:8081/proxy_file

or export http_proxy=http://proxy.server:8081/

or exporting one of the server names :8088 or :8081 that you found in the downloaded proxy_file?

That's all I do and it works for me.

Kind regards, Christian

[Patrick Ware_1]

Hadn't tried that yet, but I will give it a try.