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
Clarification of Heiko's workaround: my-proxy- host" not "https:/ /my-proxy- host" (which is what Ubuntu sets it to by default)
- you need to set https_proxy
- you may need to set it to "http://
- 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