Récupérer les clefs GPG des dépôts sur Ubuntu quand on est derrière un pare-feu

Voi­ci le tableau : vous êtes dans votre chambre de cité U, ou peut-être au bureau, et vous tom­bez sur un joli PPA que vous dési­rez ajou­ter illi­co aux sources de votre Ubun­tu. Pas de pro­blème, vous dites-vous in pet­to : on ouvre un ter­mi­nal et
$ sudo add-apt-repo­si­to­ry ppa:freetuxtv/freetuxtv
Et là, PAF ! Ça ne marche pas, la connexion au ser­veur de clefs timeout lamen­ta­ble­ment. En cause, le pare-feu de votre uni­ver­si­té ou entre­prise qui, fai­sant son bou­lot, bloque sys­té­ma­ti­que­ment les connexions ini­tiées vers des ports incon­nus comme le port 11371, géné­ra­le­ment uti­li­sé par les ser­veurs de clefs.

Heu­reu­se­ment, Antho­ny, un étu­diant de Durham, a trou­vé une petite astuce qui va nous per­mettre de faire passer …

Continue reading →