Clarification of Heiko's workaround: - you need to set https_proxy - you may need to set it to "http://my-proxy-host"; not "https://my-proxy-host"; (which is what Ubuntu sets it to by default) - beware that 'sudo add-apt-repository' might load a new shell and overwrite the environment; use 'sudo bash' then set 'https_proxy' in the root shell
-- add-apt-repository insists on downloading GPG key even if keyserver is down. If keyserver is down, add-apt-repository can't proceed. https://bugs.launchpad.net/bugs/443404 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
