3 581
contributi
mNessun oggetto della modifica |
|||
Riga 78: | Riga 78: | ||
==== Modifiche ai file di configurazione ==== | ==== Modifiche ai file di configurazione ==== | ||
Non esiste un unico modo per aggiungere, modificare o rimuovere repository, ma per esempio con [[privilegi di | Non esiste un unico modo per aggiungere, modificare o rimuovere repository, ma per esempio con [[privilegi di amministrazione]] si può aprire il file principale con <code>nano</code> (l'editor predefinito) nel seguente modo: | ||
<pre># nano /etc/apt/sources.list</pre> | <pre> | ||
# nano /etc/apt/sources.list | |||
</pre> | |||
(poi premere <code>Ctrl-o</code> per salvare e <code>Ctrl-x</code> per uscire) | (poi premere <code>Ctrl-o</code> per salvare e <code>Ctrl-x</code> per uscire) | ||
Riga 86: | Riga 88: | ||
che effettua anche un controllo della sintassi prima di apportare le modifiche. | che effettua anche un controllo della sintassi prima di apportare le modifiche. | ||
In entrambi i casi, 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 | In entrambi i casi, 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 amministrazione]]: | ||
<pre># apt-get update</pre> | <pre> | ||
# apt-get update | |||
</pre> | |||
Tale lista va inoltre tenuta aggiornata periodicamente, in particolare prima di effettuare aggiornamenti o nuove installazioni. | Tale lista va inoltre tenuta aggiornata periodicamente, in particolare prima di effettuare aggiornamenti o nuove installazioni. | ||
contributi