Когда я выполняю эту команду:
sudo add-apt-repository ppa:webupd8team/sublime-text-3
Я получаю следующую ошибку:
Cannot add PPA: 'ppa:~webupd8team/ubuntu/sublime-text-3'.
ERROR: '~webupd8team' user or team does not exist
Мои настройки прокси работают правильно
каково решение?
Я нашел рабочее решение здесь: https://doc.ubuntu-fr.org/ppa#add-apt-repository_derriere_un_proxy_d_entreprise (на французском).
Чтобы подвести итог, вы должны экспортировать переменные env HTTP (S) _PROXY, строчные и прописные в вашем термине.
Затем выполните
sudo -E add-apt-repository ppa: ...
blockquote>Опция
-E
сохранит значения env, определенные выше, и разрешит использование прокси.
Это кажется add-apt-repository
не использует способные настройки прокси (возможно, это использует wget
под капотом). Обходное решение является к бочке командой от машины, которая не находится позади прокси и скопировать файлы
/etc/apt/trusted.gpg.d/ondrej_ubuntu_php.gpg
/etc/apt/sources.list.d/ondrej-ubuntu-php-xenial.list
к другой машине.
Я зафиксировал его путем создания интернет-соединения.
Затем проверьте $ ping www.google.com
GL