Repositorio dei pacchetti Debian

DoudouLinux è basato su Linux Debian. Per realizzare l’ambiente di calcolo per i nostri bambini, necessitiamo di compilare pacchetti di installazione dei programmi, noti come pacchetti Debian. Poiché abbiamo diversi pacchetti personalizzati, abbiamo messo a punto un repositorio attualmente compatibile con Debian Lenny, Debian Squeeze e più probabilmente con ogni distribuzione Linux recente basata su Debian, come Ubuntu. Il suo scopo è di facilitare la compilazione di un ambiente simile a quelli del CDROM e della chiave USB. Se state usando proprio il CDROM di DoudouLinux o la sua chiave USB, non avete bisogno di questo repositorio!

Per includere i pacchetti DoudouLinux nel vostro sistema, potete scaricarli uno per uno, ma il metodo preferibile è dichiarare il nostro repositorio nel vostro sistema. Per fare ciò, aggiungete le righe seguenti nel file di configurazione del vostro repositorio /etc/apt/sources.list o in un nuovo file nella cartella /etc/apt/sources.list.d/:

Per Debian Lenny

deb http://debian.doudoulinux.org/ lenny main

Per Debian Squeeze

deb http://debian.doudoulinux.org/ squeeze main

Dovrete anche prendere la chiave del repositorio per autenticare i pacchetti scaricati. Il metodo raccomandato è di installare il pacchetto doudoulinux-keyring dopo che il repositorio DoudouLinux è stato dichiarato, quindi ricaricare le informazioni del repositorio:

$ sudo apt-get update
$ sudo apt-get install doudoulinux-keyring
$ sudo apt-get update

Nota: apt-get vi chiederà se volete davvero installare questi pacchetto non autenticato. Potete acconsentire, questo è totalmente privo di rischi.

Un altro metodo consiste nello scaricare la chiave manualmente e dichiarla successivamente al gestore dei pacchetti con il seguente comando:

$ wget -O - http://debian.doudoulinux.org/doudoulinux.asc | sudo apt-key add -