setenv HTTP_PROXY http://proxy:8080setenv HTTPS_PROXY http://proxy:8080setenv http_proxy http://proxy:8080setenv https_proxy http://proxy:8080setenv FTP_PROXY http://proxy:8080setenv ftp_proxy http://proxy:8080
[environment]## at the end of this sectionHTTP_PROXY=http://proxy:8080HTTPS_PROXY=http://proxy:8080http_proxy=http://proxy:8080https_proxy=http://proxy:8080FTP_PROXY=http://proxy:8080ftp_proxy=http://proxy:8080
pkg_env : { http_proxy: "{http://proxy:8080}" https_proxy: "{http://proxy:8080}"}