- [ ! -z "$proxy_username" ] && creds="$proxy_username:$proxy_password@"
- export http_proxy="http://$creds$proxy_host:${proxy_port:-80}"
+ if [ ! -z "$proxy_host" ]; then
+ [ ! -z "$proxy_username" ] && creds="$proxy_username:$proxy_password@"
+ export http_proxy="http://$creds$proxy_host:${proxy_port:-80}"
+ fi