I repository ed il loro utilizzo: differenze tra le versioni

Vai alla navigazione Vai alla ricerca
m
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 amministratore]] si può aprire il file principale con <code>nano</code> (l'editor predefinito) nel seguente modo:
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 amministratore]]:
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.


3 581

contributi

Menu di navigazione