- case $::apt::proxy_host {
- false, '', undef: {
- $_proxy_env = []
- }
- default: {
- $_proxy_env = ["http_proxy=http://${::apt::proxy_host}:${::apt::proxy_port}", "https_proxy=http://${::apt::proxy_host}:${::apt::proxy_port}"]
+ $_proxy = $::apt::_proxy
+ if $_proxy['host'] {
+ if $_proxy['https'] {
+ $_proxy_env = ["http_proxy=http://${_proxy['host']}:${_proxy['port']}", "https_proxy=https://${_proxy['host']}:${_proxy['port']}"]
+ } else {
+ $_proxy_env = ["http_proxy=http://${_proxy['host']}:${_proxy['port']}"]