Не может добавить PPA - “пользователь, или команда не существует”

Когда я выполняю эту команду:

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

Мои настройки прокси работают правильно

каково решение?

11
задан 16 October 2019 в 20:17

3 ответа

Я нашел рабочее решение здесь: https://doc.ubuntu-fr.org/ppa#add-apt-repository_derriere_un_proxy_d_entreprise (на французском).

Чтобы подвести итог, вы должны экспортировать переменные env HTTP (S) _PROXY, строчные и прописные в вашем термине.

Затем выполните

sudo -E add-apt-repository ppa: ...

Опция -E сохранит значения env, определенные выше, и разрешит использование прокси.

11
ответ дан 23 November 2019 в 04:06

Это кажется add-apt-repository не использует способные настройки прокси (возможно, это использует wget под капотом). Обходное решение является к бочке командой от машины, которая не находится позади прокси и скопировать файлы

/etc/apt/trusted.gpg.d/ondrej_ubuntu_php.gpg
/etc/apt/sources.list.d/ondrej-ubuntu-php-xenial.list

к другой машине.

0
ответ дан 23 November 2019 в 04:06

Я зафиксировал его путем создания интернет-соединения.

Затем проверьте $ ping www.google.com

GL

0
ответ дан 23 November 2019 в 04:06

Другие вопросы по тегам:

Похожие вопросы: