Ubuntu 18.04 ошибка добавления репов через proxy

[MishaRushi]

Добрый день. Ubuntu 18.04 , прописан прокси в :
/etc/environment
/etc/bash.bashrc

при попытке добавить репы:
sudo add-apt-repository ppa:alexlarsson/flatpak
Cannot add PPA: 'ppa:~alexlarsson/ubuntu/flatpak'.
ERROR: '~alexlarsson' user or team does not exist
это пример, на все репы ошибка такая же.

[AnrDaemon]

sudo http_proxy=… add-apt-…

[MishaRushi]

Cannot add PPA: 'ppa:~alexlarsson/ubuntu/flatpak'.
ERROR: '~alexlarsson' user or team does not exist

такая же ошибка
Cannot add PPA: 'ppa:~alexlarsson/ubuntu/flatpak'.
ERROR: '~alexlarsson' user or team does not exist

[AnrDaemon]

Прокси часом не блокирует?
Ибо https://launchpad.net/~alexlarsson/+archive/ubuntu/flatpak

[MishaRushi]

Прокси часом не блокирует?
Ибо https://launchpad.net/~alexlarsson/+archive/ubuntu/flatpak

На нашем портале есть даже статья https://help.ubuntu.ru/wiki/%D0%BF%D1%80%D0%BE%D0%BA%D1%81%D0%B8
где говорится: "Многие компании и университеты блокируют все неизвестные порты наружу. Обычно блокируется и порт 11371, используемый утилитой apt-add-repository для добавления репозиториев. Есть простое решение, как получать ключи репозиториев через 80-ый порт, который используется для доступа к web-страницам и чаще всего не блокируется. "
 В версии 16.04 достаточно иметь настроенной переменную окружения

https_proxy="https://user:pass@proxy:port/"
в 18.04 так не работает( либо  у меня не получилось