Just a note - if you change "https_proxy" and then run "sudo whatever" - the changed environment variable won't be inherited by the sudo command. So to get anywhere with this I had to do this as root: $ sudo bash # export https_proxy=http://www.example.com:8000/ # add-apt-repository ppa:<whatever> (just a note in case anyone else got messed up by this - this workaround still doesn't fetch gpg keys, but at least it updates your apt sources)
-- add-apt-repository doesn't work behind a proxy https://bugs.launchpad.net/bugs/516032 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
