Comment faire fonctionner add-apt-repository à travers un proxy?

Je tente de suivre les instructions "Installing Cross Toolchain on Ubuntu 10.04 (Lucid) and 10.10 (Maverick) Hosts" sur wiki.linaro.org (sur mon Ubuntu 10.04 VM). La première étape est :

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

Mais quand j'exécute cette commande, j'obtiens :

Erreur de lecture de https://launchpad.net/api/1.0/~linaro-maintainers/+archive/toolchain: 

Je suppose que le problème vient de ma configuration pour le serveur proxy de mon employeur, particulièrement pour HTTPS.

Quand j'ai ouvert https://launchpad.net/api/1.0/~linaro-maintainers/+archive/toolchain dans Firefox, j'ai obtenu "La connexion a expiré". J'ai ensuite été dans les Préférences de Firefox -> Avancé -> Réseau -> Paramètres... et j'ai défini le Proxy HTTP sur "gateway" et le Port sur 8080, et j'ai coché "Utiliser ce serveur proxy pour tous les protocoles". Ensuite la page s'est chargée. Cela confirme ma théorie.

J'ai essayé de définir les variables d'environnement http_proxy et https_proxy (en minuscule et en majuscule) :

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

J'ai également essayé de les changer en :

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

Et j'ai essayé d'ajouter cette deuxième ligne à /etc/apt/apt.conf :

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

Mais je continue d'obtenir la même erreur.

Comment puis-je résoudre ce problème ?

Mise à jour : J'ai suivi les instructions de la réponse acceptée à "Problem adding repositories and connecting from terminal behind a proxy" et j'ai progressé :

$ 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

Je me demande si l'erreur "HTTP fetch" signifie que je dois aussi ajouter "Defaults env_keep = http_proxy" à /etc/sudoers...

Mise à jour #2 : J'ai ajouté :

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

...comme dans Commentaire 18 pour le bug 516032, mais je continue d'obtenir la même erreur "gpgkeys: HTTP fetch error 7: couldn't connect to host".

Et c'est curieux :

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

...car http_proxy n'apparaît pas.

Tout conseil est apprécié.

Mise à jour #3 : Comme l'hôte de ma VM est un ordinateur portable, je l'ai emporté chez moi et j'ai essayé là-bas (sans proxies):

$ 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)

Ça a fonctionné. Donc le problème est lié à la configuration du proxy. Mais je suppose que j'ai une solution de contournement.