back

Repository

Riguardo i pacchetti, Debian ha tre grandi vasche - pool.

main qui si trovano i pacchetti che rispettano la policy debian, la DFSG - Debian Free Sotware Guidelines, pacchetti totalmente free.

contrib pacchetti free ma che hanno alcune dipendenze che non rispettano la DFSG

non-free pacchetti binari disponibili ma licenza e codice sorgente non libero.

da questa premessa si evince che sia il tipo di versione (stable, testing o unstable) che la tipologia dei pacchetti (main, contrib o non-free) vengono lasciati scegliere all'utente. Altra cosa da tenere in considerazione è che in questi repository non vi è traccia di pacchetti multimediali(codec audio-video) che non rispettino la DFSG. A ciò pone rimedio un repository, mantenuto da un gruppo di sviluppatori: http://debian-multimedia.org/.

In una Debian-box il file che contiene tutte le "indicazioni" per la gestione del parco software è: /etc/atp/sources.list.

Come configurare i repository per Debian...
Stable

Per avere una Debian stable completamente Free, in /etc/apt/sources.list si deve avere:

deb http://ftp.it.debian.org/debian/ stable main

e per una Debian stable con tutti i pacchetti disponibili:

deb http://ftp.it.debian.org/debian/ stable main contrib non-free

È da considerare che, per non intasare il server, si possono utilizzare altri mirror (vedi http://www.debian.org/mirror/list per una lista completa), oppure per trovare il mirror più performante usare apt-spy.

Se si vogliono anche i pacchetti multimedia (codec audio-video non-free) aggiungiamo la riga seguente:

deb http://www.debian-multimedia.org stable main

per avere una maggiore banda possiamo utilizzare un mirror più vicino come:

deb http://mi.mirror.garr.it/mirrors/debian-multimedia stable main

per aggiugere la chiave pubblica dei repository multimedia dal terminale diamo i seguenti comandi:

# apt-get update && apt-get install debian-multimedia-keyring

back