Научить wget использовать прокси-сервер достаточно просто. В консоли (или в профиле пользователя) пишем:
export http_proxy="proxy_address:port"
export ftp_proxy="proxy_address:port"
export http_proxy="proxy_address:port"
export ftp_proxy="proxy_address:port"
export http_proxy="proxy_address:port" export ftp_proxy="proxy_address:port"
Если нужно указать пароль, то добавляем в командной строке:
--proxy-username="NAME" --proxy-passwd="PASSWORD"
--proxy-username="NAME" --proxy-passwd="PASSWORD"
--proxy-username="NAME" --proxy-passwd="PASSWORD"
Источником послужил ArchWiki.
