Debian

Les paquets que je maintiens

Je maintiens quelques paquets pour Debian :
  • Exaile - lecteur audio configurable (similaire à Amarok, mais écrit en GTK+)
  • ripdvd - ripper de DVDs en mode texte
  • IPager - pager léger pour petits gestionnaires de fenêtres comme fluxbox ou pekwm
  • apt-zip - utilitaire permettant de mettre à jour sa distribution Debian sur une machine non connectée à Internet.
  • mpeg2vidcodec - codec MPEG2 video utilisé par ImageMagick convert pour générer des vidéos MPEG.
  • eukleides et xeukleides - langage permettant de dessiner des figures de géométrie euclidienne avec (La)TeX.
Vous pouvez suivre l'évolution de ces paquets à partir de ma page Debian Quality Assurance.

Mon dépôt de paquets

Certains de ces paquets sont fournis par les dépôts officiels Debian ; d'autres ne le sont pas (pour diverses raisons : inactivité du développement upstream, problème de licence, etc.) Dans tous les cas, mon dépôt contient toujours les versions les plus à jour. Vous pouvez l'utiliser avec apt / aptitude (ou n'importe quel autre gestionnaire de paquets apt). Pour cela, ajoutez à votre fichier de configuration /etc/apt/sources.list les lignes suivantes :
deb     http://francesco.ovh.org/debian/ sid main
deb-src http://francesco.ovh.org/debian/ sid main


Tous les paquets de ce dépôt sont signés avec ma clé GPG pour vous permettre de vérifier leur authenticité. Pour éviter d'avoir un warning d'apt à chaque update ou installation d'un paquet du dépôt, vous pouvez ajouter ma clé publique à votre trousseau d'apt :
~> gpg --recv-keys E6FEA031 && gpg --armour --export E6FEA031 | sudo apt-key add -
gpg: requesting key E6FEA031 from hkp server subkeys.pgp.net
gpg: key E6FEA031: "François Févotte <franceso at users.sourceforge.net>" imported
gpg: Total number processed: 1
gpg:               imported: 1
OK

La configuration de mes systèmes

Vous trouverez dans ce répertoire quelques fichiers de configuration pour les logiciels que j'utilise :