giovedì 3 gennaio 2013

Aggiunge PPA ad Ubuntu dietro ad un proxy



Installare repository PPA ad Ubuntu da una rete protetta da un proxy web non e' banale
per prima cosa si devono configurare le due variabili di ambiente

export http_proxy=http://mioproxy:8080
export https_proxy=http://mioproxy:8080

questo perche' parte delle connessioni avviene sulla porta 80 e parte sul SSL
puo' accadere che quando si tentano di scaricare le chiavi GPG dal server di Ubuntu si incorra in questo messaggio
------------------------------------------
keyserver.ubuntu.com: Connection timed out
gpgkeys: HTTP fetch error 7: couldn't connect: Connection timed out
gpg: no valid OpenPGP data found.
gpg: Total number processed: 0
------------------------------------------



per scaricare il ppa desiderato ci si deve annotare la key che contraddistingue il PPA e poi si importa a parte la chiave GPG mediante il comando

 apt-key adv --recv-keys --keyserver hkp://keyserver.ubuntu.com:80 EFF8D5ED

che utilizza espressamente la porta 80 per la connessione risolvendo i problemi del proxy