Try exporting the https_proxy environment variable in addition to http_proxy (without "s"). I found that suggestion in https://bugs.launchpad.net/ubuntu/+source/software- properties/+bug/516032 and it works fine for me:
export http_proxy=... export https_proxy=... add-apt-repository ppa:... -- 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
