Добавление репозитория через прокси

Предположим, мы находимся за прокси и нам нужно добавить репозиторий, например так:

sudo add-apt-repository ppa:tails-team/tails-installer

В случае, если в консоли перед этой командой были определены переменные окружения для прокси, например такие:

export http_proxy=http://username:password@host:port/
export https_proxy=https://username:password@host:port/

необходимо модифицировать команду добавления репозитория вот так:

sudo -E add-apt-repository ppa:tails-team/tails-installer

где "-E" экспортирует переменные окружения пользователю sudo.