Почему add-apt-repository не работает для java ppa? [duplicate]

Я пытаюсь следовать инструкции "Установка Cross Toolchain на Ubuntu 10.04 (Lucid) и 10.10 (Maverick) Hosts" на wiki.linaro.org (на моей Ubuntu 10.04 VM). Первый шаг:

sudo add-apt-repository ppa:linaro-maintainers/toolchain

Но когда я запускаю это, я получаю:

Error reading https://launchpad.net/api/1.0/~linaro-maintainers/+archive/toolchain: <urlopen error [Errno 110] Connection timed out>

Я предполагаю, что проблема в моей конфигурации прокси-сервера моего работодателя, особенно для HTTPS.

Когда я открыл https://launchpad.net/api/1.0/~linaro-maintainers/+archive/toolchain в Firefox, я получил "The connection has timed out". Затем я зашел в Firefox Preferences -> Advanced -> Network -> Settings... и установил HTTP Proxy в "gateway" и Port в 8080, и поставил галочку "Use this proxy server for all protocols". После этого страница загрузилась. Это подтверждает мою теорию.

Я попробовал установить переменные окружения http_proxy и https_proxy (как в нижнем, так и в верхнем регистре):

$ set | grep -i proxy
HTTPS_PROXY=https://gateway:8080
HTTP_PROXY=http://gateway:8080
http_proxy=http://gateway:8080
https_proxy=https://gateway:8080

Я также попробовал изменить их на:

$ set | grep -i proxy
HTTPS_PROXY=gateway:8080
HTTP_PROXY=gateway:8080
http_proxy=gateway:8080
https_proxy=gateway:8080

И я попробовал добавить эту вторую строку в /etc/apt/apt.conf:

Acquire::http::proxy "http://gateway:8080/";
Acquire::https::proxy "https://gateway:8080/";

Но я продолжаю получать ту же ошибку.

Как мне устранить эту проблему?

Обновление: Я следовал инструкциям в принятом ответе на "Проблема добавления репозиториев и подключения с терминала за прокси" и получил следующее:

$ sudo add-apt-repository ppa:linaro-maintainers/toolchain
Executing: gpg --ignore-time-conflict --no-options --no-default-keyring --secret-keyring /etc/apt/secring.gpg --trustdb-name /etc/apt/trustdb.gpg --keyring /etc/apt/trusted.gpg --primary-keyring /etc/apt/trusted.gpg --keyserver keyserver.ubuntu.com --recv 1DD749B890A6F66D050D985CF1FCBACA7BE1F97B
gpg: requesting key 7BE1F97B from hkp server keyserver.ubuntu.com
gpgkeys: HTTP fetch error 7: couldn't connect to host
gpg: no valid OpenPGP data found.
gpg: Total number processed: 0

Интересно, означает ли ошибка "HTTP fetch error", что мне также нужно добавить "Defaults env_keep = http_proxy" в /etc/sudoers...

Update #2: Я добавил:

Defaults env_keep="http_proxy"
Defaults env_keep="https_proxy"

... как в Comment 18 for bug 516032, но я все еще получаю тот же "gpgkeys: HTTP fetch error 7: couldn't connect to host".

И это любопытно:

$ sudo env | grep proxy
https_proxy=https://gateway:8080

... потому что http_proxy там нет.

Любой совет будет принят с благодарностью.

Обновление #3: Поскольку хост моей VM - ноутбук, я взял его домой и попробовал там (без прокси):

$ sudo add-apt-repository ppa:linaro-maintainers/toolchain
Executing: gpg --ignore-time-conflict --no-options --no-default-keyring --secret-keyring /etc/apt/secring.gpg --trustdb-name /etc/apt/trustdb.gpg --keyring /etc/apt/trusted.gpg --primary-keyring /etc/apt/trusted.gpg --keyserver keyserver.ubuntu.com --recv 1DD749B890A6F66D050D985CF1FCBACA7BE1F97B
gpg: requesting key 7BE1F97B from hkp server keyserver.ubuntu.com
gpg: key 7BE1F97B: public key "Launchpad Linaro Overlay PPA" imported
gpg: Total number processed: 1
gpg:               imported: 1  (RSA: 1)

Сработало. Значит, проблема связана с конфигурацией прокси. Но я полагаю, что у меня есть обходной путь.