JM's Debian repository

Vous lisez le français ?

Welcome!

My tiny Debian package repository…

Purpose

Sometimes I feel like making some Debian packages with the strange idea in mind that it could also be useful for some other people. My packages are not very complicated indeed, they mainly focus on ease of setting up a Debian box for children. Oh yes, you may have always been thinking that Debian is just for servers and Linux experts? A simple advice in this case: just reread the Debian homepage, “Debian, a universal system”, so children love it too![1]

What you will find

My packages are splitted into 2 repositories:

  • browse doudoulinux[2] is the main repository. It contains my Debian customisations to get an operating system suitable for my children. There are special sessions that just start an application (gamine, pysycache, childsplay, gcompris or tuxpaint). You will also find some artwork based on teddy bears and children draws.
  • screen eeepc is obviously dedicated to this very small computer. The hosted packages make it possible to have a 800x600 pixels resolution on a 800x480 screen for example (see Panning utility for the eeePC). Therefore children can play pysycache and childsplay again (they can't with a 800x480 resolution).

Please note that I build my packages for use with Debian Lenny. They may also work with Debian Etch or any recent Debian-derived Linux but I must confess I don't know…

doudoulinux-gdm

The DoudouLinux connection manager

Installing

Quick howto

To use my repositories you should first import my GPG key to avoid installing altered packages. To do this you have 2 options:

  • Download pubkey.txt then import it: 
    $ wget http://philipjm.free.fr/debian/pubkey.txt
$ sudo apt-key add pubkey.txt
  • Search key servers for my key then import it: 
    $ gpg --recv-keys C1F87C52
$ gpg --armor --export 0xC1F87C52 | apt-key add -

When you are done, you have to modify your /etc/apt/sources.list file in order to add the following lines: 

# doudoulinux repository
deb http://philipjm.free.fr/debian/doudoulinux/ ./
deb http://philipjm.free.fr/debian/eeepc/ ./
Now you can update your package list and install the packages you are interested in!

Notes

[1] and if it's good for children it's good for us too…

[2] in France a “doudou” is a kind of teddy bear, what small kids carry with them everywhere

Bienvenue !

Mon mini dépôt de paquets Debian…

Objectif

Il m'arrive parfois de fabriquer des paquets Debian avec l'étrange idée en tête que ça pourrait aussi servir à d'autres. Mes paquets ne sont en fait pas très complexes, le but est principalement de faciliter la configuration d'un système Debian pour les enfants. Oh bien sûr, vous avez peut-être toujours pensé que Debian c'est seulement pour les serveurs et les experts Linux ? Un petit conseil dans ce cas : relisez simplement la page d'accueil de Debian : « Debian, un système universel », donc les enfants l'aiment aussi ![1]

Ce que vous y trouverez

Mes paquets sont organisés en deux dépôts :

  • naviguer doudoulinux est le principal dépôt. Il contient mes personnalisations de Debian pour en faire un système d'exploitation adapté à mes enfants. Il y a des sessions spéciales qui ne font que démarrer une application (gamine, pysycache, childsplay, gcompris ou tuxpaint). Vous y trouverez aussi des travaux graphiques basés sur des nounours et des dessins d'enfants.
  • screen eeepc est bien évidemment dédié à ce très petit ordinateur. Les paquets hébergés permettent d'avoir une résolution de 800x600 pixels sur un écran de 800x480 par exemple (voir Panning utility for the eeePC en anglais). Par conséquent les enfants peuvent à nouveau jouer à pysycache et à childsplay (ils ne peuvent pas en résolution 800x480).

Veuillez noter que je construis mes paquets pour Debian Lenny. Il se peut qu'ils fonctionnent aussi avec Debian Etch ou toute distribution Linux récente dérivée de Debian mais je dois bien avouer que je n'en sais rien…

doudoulinux-gdm

Le gestionnaire de connexion DoudouLinux

Installation

Pied à l'étrier

Pour utiliser mes dépôts, vous devriez d'abord importer ma clef GPG pour éviter d'installer des paquets altérés. Pour cela il y a deux options :

  • Télécharger pubkey.txt puis l'importer : 
    $ wget http://philipjm.free.fr/debian/pubkey.txt
$ sudo apt-key add pubkey.txt
  • Récupérer ma clef sur des serveurs de clefs puis l'importer : 
    $ gpg --recv-keys C1F87C52
$ gpg --armor --export 0xC1F87C52 | apt-key add -

Une fois terminé, vous devez modifier votre fichier /etc/apt/sources.list pour y ajouter les lignes suivantes : 

# doudoulinux repository
deb http://philipjm.free.fr/debian/doudoulinux/ ./
deb http://philipjm.free.fr/debian/eeepc/ ./
Maintenant vous pouvez mettre à jour votre liste de paquets et installer ceux qui vous intéressent !

Notes

[1] si c'est bon pour les enfants, c'est bon pour nous aussi !