If you are on a Unix, your http_proxy is probably set if you are using one. env gives you your environment, look for http_proxy (any case). If it is set then the following shell command should do it:

export https_proxy=$http_proxy
[download]

(You may need to change the case of the environment variable you are looking for.)