909
contributi
Repository & pinning: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
→REPOSITORY
Nessun oggetto della modifica |
|||
| Riga 36: | Riga 36: | ||
Riguardo i pacchetti, Debian ha tre grandi vasche - pool.<br /> | Riguardo i pacchetti, Debian ha tre grandi vasche - pool.<br /> | ||
;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/''.<br /> | 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/''.<br /> | ||
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..... === | ===COME CONFIGURARE I REPOSITORY PER DEBIAN..... === | ||
==== STABLE ==== | ==== STABLE ==== | ||
| Riga 63: | Riga 60: | ||
E' 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''.<br /> | E' 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''.<br /> | ||
Se si vogliono anche i pacchetti ''multimedia'' (codec audio-video non-free) aggiungiamo la riga seguente: | Se si vogliono anche i pacchetti ''multimedia'' (codec audio-video non-free) aggiungiamo la riga seguente: | ||