Невозможно добавить PPA на Ubuntu 15.10 - пользователя или команды не существует [дубликат]

7

Поскольку я установил Ubuntu 15.10, я больше не могу добавить ppa в список репозитория:

@:~>sudo apt-add-repository ppa:git-core/ppa
Cannot add PPA: 'ppa:~git-core/ubuntu/ppa'.
ERROR: '~git-core' user or team does not exist.

Кто-нибудь знает, что изменилось в 15.10? Возможно, это проблема с прокси-сервером. Я за прокси-сервером, но все остальное, как wget или apt-get, работает с моей текущей конфигурацией.

    
задан Sven 22.01.2016 в 12:39
источник

2 ответа

5

Сначала вам нужно экспортировать переменную среды. Откройте терминал и запустите:

export http_proxy="http://username:[email protected]:port/"
export https_proxy="https://username:[email protected]:port/"

Теперь добавьте PPA:

sudo -E add-apt-repository ppa:git-core/ppa

Вы получите приглашение:

➜  ~ sudo -E apt-add-repository ppa:git-core/ppa
 The most current stable version of Git for Ubuntu.

For release candidates, go to https://launchpad.net/~git-core/+archive/candidate .
 More info: https://launchpad.net/~git-core/+archive/ubuntu/ppa
Press [ENTER] to continue or ctrl-c to cancel adding it

Нажмите Enter , и вы сможете установить его из PPA.

    
ответ дан alphaguy 10.09.2016 в 06:32
3

Ответ OP

Я нашел проблему, она действительно была связана с прокси-сервером, но с другим фоном. Наш сервер использует аутентификацию, которая не была настроена здесь. После его отключения проблема исчезла. Странным кажется ошибочное сообщение об ошибке. Так что, надеюсь, это будет читать кого-то в будущем с той же проблемой.

    
ответ дан Pilot6 22.01.2016 в 13:24