/etc/wgetrcに、以下の設定を追加してあげればよい。
use_proxy = on
proxy_user = user
proxy_user = user
proxy_password = password
https_proxy = http://proxy.yoyodyne.com:18023/
http_proxy = http://proxy.yoyodyne.com:18023/
ftp_proxy = http://proxy.yoyodyne.com:18023/
ちなみに、ユーザ名とパスワードの設定はwgetrc中に書いていないが、
"info wget"で以下のように書いてある。
You may specify your username and password either through the proxy
URL or through the command-line options. Assuming that the company's
proxy is located at 'proxy.company.com' at port 8001, a proxy URL
location containing authorization data might look like this:
http://hniksic:mypassword@proxy.company.com:8001/
Alternatively, you may use the 'proxy-user' and 'proxy-password'
options, and the equivalent '.wgetrc' settings 'proxy_user' and
URL or through the command-line options. Assuming that the company's
proxy is located at 'proxy.company.com' at port 8001, a proxy URL
location containing authorization data might look like this:
http://hniksic:mypassword@proxy.company.com:8001/
Alternatively, you may use the 'proxy-user' and 'proxy-password'
options, and the equivalent '.wgetrc' settings 'proxy_user' and
'proxy_password' to set the proxy username and password.