Как добавить & ldquo; gnome-shell-extensions & rdquo; PPA?
Когда я пытаюсь добавить любой ppa, используя «apt», я получаю следующую ошибку:
$ sudo add-apt-repository ppa:gnome-shell-extensions
Traceback (most recent call last):
File "/usr/bin/add-apt-repository", line 125, in <module>
ppa_info = get_ppa_info_from_lp(user, ppa_name)
File "/usr/lib/python2.7/dist-packages/softwareproperties/ppa.py", line 80, in get_ppa_info_from_lp
curl.perform()
pycurl.error: (7, "couldn't connect to host")
Тем не менее, apt работает нормально, и я могу установить / удалить / обновить приложения, к тому же curl также в порядке. Я уже проверил это ... У меня также есть интернет-соединение, я могу использовать любое приложение через интернет. Я не защищен никакими прокси или брандмауэрами.
Все работало нормально, прежде чем я обновился с Ubuntu 11.10 до 12.04.
Кстати: Я знаю, что могу добавить запись вручную, но такая ситуация действительно раздражает. Я долго гуглил, но безрезультатно: (
Есть идеи? Спасибо :))
2 ответа
OK! Итак, теперь есть блестящее объяснение всему этому беспорядку! Я не знаю, как и почему, но после установки Ubuntu 12.04, gnome устанавливает прокси для некоторых приложений, используя скажем ... ftp, например. Теперь запустите gconf-editor, зайдите в system-> proxy и удалите все записи прокси. Это должно сработать :) Я знаю, что глупо отвечать на мой вопрос в любом случае, может быть, это будет полезно для других :) Ура!
При добавлении PPA с sudo add-apt-repository необходимо указать весь адрес. ESS. Так что в вашем случае это будет sudo add-apt-repository ppa:LP-NAME/PPA-NAME.
В вашем примере вы забыли имя пользователя.