Оригинал
Многие компании и университеты блокируют все неизвестные порты наружу. Обычно блокируется и порт, используемый утилитой
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 http
s_proxy="http://username:
[email protected]:8080"
где
username - имя пользователя для авторизации на прокси;
userpass - пароль этого пользователя;
proxy.domain.ru - адрес (или IP) прокси;
8080 - порт прокси (у вас может быть другой порт).
В сочетании с исправлением скрипта apt-add-repository (см. выше), это работает за проксёй и файрволлом.