I was able to fix it by using --keyserver-options like in the following
patch:
diff /usr/lib/python3/dist-packages/softwareproperties/ppa.py{.orig,}
189,195c189,207
< res = subprocess.call(self.GPG_DEFAULT_OPTIONS + [
< "--homedir", keyring_dir,
< "--secret-keyring", secret_keyring,
< "--keyring", keyring,
< "--keyserver", self.keyserver,
< "--recv", signing_key_fingerprint,
< ])
---
> http_proxy = os.environ.get("http_proxy")
> if http_proxy != "":
> res = subprocess.call(self.GPG_DEFAULT_OPTIONS + [
> "--homedir", keyring_dir,
> "--secret-keyring", secret_keyring,
> "--keyring", keyring,
> "--keyserver", self.keyserver,
> "--keyserver-options", "http-proxy=" + http_proxy,
> "--recv", signing_key_fingerprint,
> ])
> else:
> res = subprocess.call(self.GPG_DEFAULT_OPTIONS + [
> "--homedir", keyring_dir,
> "--secret-keyring", secret_keyring,
> "--keyring", keyring,
> "--keyserver", self.keyserver,
> "--recv", signing_key_fingerprint,
> ])
>
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1713962
Title:
apt-add-repository times out behind proxy
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/software-properties/+bug/1713962/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
