[global]
http-proxy-host = my.proxy
http-proxy-port = 8080
