Как добавить репозиторий из-за прокси-сервера?

У меня проблема в офисе. Мы за прокси (который установлен и применен в настройках прокси-сервера ubuntu), и когда я пытаюсь добавить репозиторий из терминала, я получаю:

Ошибка чтения - некоторый URL-адрес здесь - : urlopen error [Errno 113] Нет пути к хосту

Я пробовал с

  • скриптом Launchpad-getkeys. Я получаю это (изображение)

enter image description here [/g0]

  • Я пробовал с другим «взломом», без удачи. Нажмите Alt-F2 и введите gksu gedit /usr/lib/python2.6/dist-packages/softwareproperties/ppa.py Найдите строку 88, смените keyserver.ubuntu.com на hkp://keyserver.ubuntu.com:80 Сохранить, закрыть и перезагрузить.

Кто-нибудь знает, смогу ли я решить эту проблему каким-либо образом? Благодаря

14
задан 3 January 2012 в 23:16

5 ответов

Ваша проблема описана в этом следующем отчете об ошибке. Кажется, что правильное исправление описано в Commment # 11:

Задайте переменную https_proxy для вашего прокси Редактировать /etc/sudoers или правильный файл в /etc/sudoers.d/, поэтому он содержит:
Defaults env_keep = https_proxy
13
ответ дан 25 May 2018 в 23:18
  • 1
    Joao, я добавил переменные в /home/myuser/.bashrc, а затем добавил материал env_keep в / etc / sudoers, и теперь, когда я выполняю эту команду, «sudo env | grep proxy " Я получаю переменные. Когда я добавляю репозиторий или запускаю скрипт launchpad-getkeys, я больше не получаю ошибок. БЛАГОДАРЯ!! – Enrique 26 January 2011 в 15:56

Сценарий, о котором вы упоминали - launchpad-getkeys теперь поддерживает прокси.

1
ответ дан 25 May 2018 в 23:18
  • 1
    Хотя я решил вопрос с / etc / sudoers, я также читал новости о стартовой панели-getkeys в rss-канале, а теперь с помощью -p ip: port это потрясающая функция! спасибо Алину! – Enrique 22 February 2011 в 21:00

Используйте опцию -HE в sudo:

sudo -HE apt-key [...]

Он сохранит настройки прокси-сервера

1
ответ дан 25 May 2018 в 23:18

Вы должны ввести корневую учетную запись и добавить репозиторий оттуда:

sudo su
add-apt-repository ppa:xxxyyy/ppa
0
ответ дан 25 May 2018 в 23:18

Используйте параметр -HE в sudo:

sudo -HE apt-key [...]

Он сохранит настройки прокси-сервера

1
ответ дан 7 August 2018 в 22:04

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

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