3 581
contributi
I repository ed il loro utilizzo: differenze tra le versioni
I repository ed il loro utilizzo (visualizza wikitesto)
Versione delle 10:46, 3 set 2014
, 3 set 2014→Sources.list: nuova sezione
m (→Stable) |
(→Sources.list: nuova sezione) |
||
| Riga 73: | Riga 73: | ||
--> | --> | ||
La gestione dei repository avviene principalmente tramite modifiche al file <code>'''/etc/apt/sources.list'''</code>, questo è il più importante file di configurazione del sistema di gestione dei pacchetti Debian; contiene infatti l'elenco e gli indirizzi dei repository a cui apt accede per il download dei pacchetti binari e sorgente. | La gestione dei repository avviene principalmente tramite modifiche al file <code>'''/etc/apt/sources.list'''</code>, questo è il più importante file di configurazione del sistema di gestione dei pacchetti Debian; contiene infatti l'elenco e gli indirizzi dei repository a cui apt accede per il download dei pacchetti binari e sorgente. | ||
In aggiunta a tale file possono esisterne altri, contenenti altri repository, in file con estensione <code>.list</code> all'interno della directory <code>/etc/apt/sources.list.d</code>, pensata per i [[repository]] di terze parti. Questa directory dovrebbe essere vuota, se non si è installato nulla che la modifichi o non si sono aggiunti dei file manualmente. | |||
=== Modifiche ai file di configurazione === | |||
Non esiste un unico modo per aggiungere, modificare o rimuovere repository, ma per esempio con [[privilegi di amministratore]] si può aprire il file principale con <code>nano</code> (l'editor predefinito) nel seguente modo: | |||
<pre># nano /etc/apt/sources.list</pre> | |||
(poi premere <code>Ctrl-o</code> per salvare e <code>Ctrl-x</code> per uscire) | |||
A partire da Debian [[Jessie]] è invece consigliato utilizzare il seguente comando: | |||
<pre># apt edit-sources</pre> | |||
che effettua anche un controllo della sintassi prima di apportare le modifiche. | |||
Si ricordi che ogni volta che si aggiunge o si rimuove un repository è necessario aggiornare la lista dei [[pacchetto|pacchetti]] del sistema. Per esempio eseguendo con [[privilegi di amministratore]]: | |||
<pre># apt-get update</pre> | |||
Tale lista va inoltre tenuta aggiornata periodicamente, in particolare prima di effettuare aggiornamenti o nuove installazioni. | |||
=== Ordine di inserimento === | === Ordine di inserimento === | ||
| Riga 78: | Riga 93: | ||
Se non si hanno esigenze particolari, gli utenti che installano Debian da CD o DVD possono cancellare o commentare le righe corrispondenti a queste sorgenti in <code>/etc/apt/sources.list</code> subito dopo l'installazione. Il motivo è dovuto al fatto che i pacchetti che si trovano su questi supporti sono rapidamente superati dagli aggiornamenti presenti nei [[repository ufficiali]]; questi ultimi, se assenti, vanno ovviamente aggiunti manualmente ad <code>/etc/apt/sources.list</code>. | Se non si hanno esigenze particolari, gli utenti che installano Debian da CD o DVD possono cancellare o commentare le righe corrispondenti a queste sorgenti in <code>/etc/apt/sources.list</code> subito dopo l'installazione. Il motivo è dovuto al fatto che i pacchetti che si trovano su questi supporti sono rapidamente superati dagli aggiornamenti presenti nei [[repository ufficiali]]; questi ultimi, se assenti, vanno ovviamente aggiunti manualmente ad <code>/etc/apt/sources.list</code>. | ||
=== Sintassi === | === Sintassi === | ||