Ubuntu 15.04 : ajout d’un PPA avec un proxy

Pour installer un nouveau PPA (par exemple les backports KDE pour avoir le dernier KDE stable avec Kubuntu 15.04) avec une connexion nécessitant un proxy pour les accès http/https :

export http_proxy=http://monProxy:port
export https_proxy=https://monProxy:port
sudo -E add-apt-repository ppa:kubuntu-ppa/backport

Le « -E » permet à sudo de conserver les variables d’environnement du proxy.

Pour qu’apt utilise les proxys, créer un fichier /etc/apt/apt.conf.d/50proxy contenant:
Acquire::http::Proxy "http://monProxy:port";
Acquire::https::Proxy "https://monProxy:port";