mirror of
git://git.gnupg.org/gnupg.git
synced 2025-04-08 21:40:10 +02:00

passes the proxy in from the outside. If the command file sends a proxy, use it. If it sends "http-proxy" with no arguments, use $http_proxy from the environment.