Ubuntu — apt-add-repository: получение ключей из-за файрволла и прокси

Оригинал
Многие компании и университеты блокируют все неизвестные порты наружу. Обычно блокируется и порт, используемый утилитой apt-add-repository для добавления репозиториев.

Есть простое решение, как получать ключи репозиториев через 80-ый порт, который используется для доступа к web-страницам и чаще всего не блокируется.

Решение - отредактировать 'apt-add-repository' скрипт, чтобы он использовал порт 80:

Жмем Alt+F2 и вводим "gksu gedit /usr/lib/python2.6/dist-packages/softwareproperties/ppa.py".
Ищем линию 88, меняем "keyserver.ubuntu.com" на "hkp://keyserver.ubuntu.com:80".
Сохраняем и закрываем файл.

Теперь apt-add-repository будет получать ключи через порт 80, который открыт.


UPDATE: Чтобы apt-add-repository работал из-за прокси, сделайте следующее:

Редактируем файл /etc/sudoers (лучше использовать команду 'sudo visudo', чтобы синтаксис проверялся автоматически).
После строки "Defaults env_reset" добавим строку:
Defaults env_keep = "HOME USER PATH http_proxy https_proxy"

В консоли, где будем запускать "sudo apt-add-repository ..." прописываем две переменных для прокси (http_proxy и https_proxy):
export http_proxy="http://username:[email protected]:8080"
export https_proxy="http://username:[email protected]:8080"

где
username - имя пользователя для авторизации на прокси;
userpass - пароль этого пользователя;
proxy.domain.ru - адрес (или IP) прокси;
8080 - порт прокси (у вас может быть другой порт).

В сочетании с исправлением скрипта apt-add-repository (см. выше), это работает за проксёй и файрволлом.