Как мне добавить PPA "gnome-shell-extensions"?
Когда я пытаюсь добавить любой 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 ответа
ХОРОШО! Итак, теперь есть блестящее объяснение всему этому беспорядку! Я не знаю, как и почему, но после установки Ubuntu 12.04, gnome устанавливает прокси для некоторых приложений, используя скажем... ftp, например. Теперь запустите gconf-editor, зайдите в system->proxy и удалите все записи прокси. Это должно сработать:) Я знаю, что глупо отвечать на мой вопрос в любом случае, может быть, это будет полезно для других:) Ура!
При добавлении PPA с sudo add-apt-repository вам нужно указать весь адр. ESS. Так что в вашем случае это будет sudo add-apt-repository ppa:LP-NAME/PPA-NAME,
В вашем примере вы забыли имя пользователя.