GPG works properly behind a proxy using recv-keys; as long as the http_proxy variable is set in the environment (and it is properly set automatically by GNOME when proxy settings are configured and "Apply system-wide").
Furthermore, software-properties' add-apt-repository now defaults to using keyserver.ubuntu.com over port 80; which should further reduce the cases where proxies are in use but don't allow the custom port 11371/tcp.
The environment isn't getting cleared when spawning gpg either (or actually, when spawning apt-key), so that would also be "fixed", if it was wrong.
Note that gpg *does* depend on the *http_proxy* variable; not https_proxy.
GPG works properly behind a proxy using recv-keys; as long as the http_proxy variable is set in the environment (and it is properly set automatically by GNOME when proxy settings are configured and "Apply system-wide").
Furthermore, software- properties' add-apt-repository now defaults to using keyserver. ubuntu. com over port 80; which should further reduce the cases where proxies are in use but don't allow the custom port 11371/tcp.
The environment isn't getting cleared when spawning gpg either (or actually, when spawning apt-key), so that would also be "fixed", if it was wrong.
Note that gpg *does* depend on the *http_proxy* variable; not https_proxy.
Closing as Fix Released.