Столкнулся с проблемой, на работе корпоративный интернет ходит через прокси, apt настроен и отлично работает, но add-apt-repository наотрез отказывается ходить через прокси, не помогает не экспорт, не конфигурирование файла apt, начал гуглить и вот что нарыл:

Редактируем файл /etc/sudoers (лучше использовать команду 'sudo visudo', чтобы синтаксис проверялся автоматически).
После строки "Defaults env_reset" добавим строку:
Defaults env_keep = "HOME USER PATH http_proxy https_proxy"