Ubuntu Desktop. add-apt-repository behind a proxy

1. Switch to super user (necessary):

sudo su

2. Then set two path variable:

export http_proxy="http://user:password@proxy-address:proxy-port/"
export https_proxy="http://user:password@proxy-address:proxy-port/"

3. After that you can add your repository:

add-apt-repository ppa:...

Tested on Ubuntu Desktop 16.04.3