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 →

Un truc que je trouve génial avec Ubun­tu, c'est l'existence des PPAs. Mais un PPA, c'est quoi ? Sous cet acro­nyme anglais signi­fiant Per­so­nal Package Archive se cache la pos­si­bi­li­té d'upload des paquets sources pour Ubun­tu afin qu'ils puissent être construits et publiés sous forme de dépôts Apt.

David Ain­ley a écrit un petit pro­gramme qui per­met de cher­cher et d'installer les PPAs cor­res­pon­dants sim­ple­ment à par­tir du Ter­mi­nal. Avant toute chose, je tiens à rap­pe­ler qu'il est très for­te­ment conseillé de savoir pré­ci­sé­ment ce que l'on fait avant d'ajouter des sources logi­cielles à son sys­tème, et qu'il est indis­pen­sable d'être abso­lu­ment cer­tain de pou­voir faire confiance au main­te­neur du PPA que l'on veut …

Continue reading →