I repository ed il loro utilizzo: differenze tra le versioni

Vai alla navigazione Vai alla ricerca
→‎Sources.list: nuova sezione
(→‎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>.
Ogni volta che si aggiunge o si rimuove un repository dal file <code>sources.list</code> è necessario aggiornare la lista dei [[pacchetto|pacchetti]] del sistema. Per esempio eseguendo:
<pre># apt-get update</pre>


=== Sintassi ===
=== Sintassi ===
3 581

contributi

Menu di navigazione