Voici 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 illico aux sources de votre Ubuntu. Pas de pro­blème, vous dites-vous in petto : on ouvre un ter­mi­nal et
$ sudo add-apt-repository 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­sité 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­lisé par les ser­veurs de clefs.

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

Continue reading →

Un truc que je trouve génial avec Ubuntu, 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­lité d'upload des paquets sources pour Ubuntu 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 →