Guida ai comandi da terminale: differenze tra le versioni

Guida ai comandi da terminale (visualizza wikitesto)

6 byte rimossi , 23 dic 2009

4 069

contributi

@@ Riga 9: / Riga 9: @@
 ==Modifica della lista dei repository==
-La lista dei repository configurati per il vostro sistema si trova nella directory <tt>/etc/apt/sources.list</tt>. Per modificarla basta aprire il file con un qualsiasi editor di testo. Quindi, se vogliamo aprirlo con Gedit (editor di testo visuale; occorre avere un ambiente grafico installato) digiteremo:
+La lista dei repository configurati per il vostro sistema si trova nel file <tt>/etc/apt/sources.list</tt>. Per modificarla basta aprire il file con un qualsiasi editor di testo. Quindi, se vogliamo aprirlo con Gedit (editor di testo visuale; occorre avere un ambiente grafico installato) digiteremo:
 <pre>
 gedit /etc/apt/sources.list
@@ Riga 22: / Riga 22: @@
 </pre>
 E così via. Vi ricordo che questo file ha i permessi di scrittura riservati all’amministratore (root) o ad un sudoer. Se avete impostato al vostro utente i permessi di sudoer, o siete su Ubuntu, vi basterà aggiungere sudo prima di ogni comando (<tt>sudo gedit</tt> invece di <tt>gedit</tt>, ad esempio) per avere i permessi di scrittura e poter salvare il file. Se siete root, potete copiare ed incollare i comandi citati sopra sul terminale senza modificarli nella sintassi.
 ==Aggiornamento del sistema operativo==
 Per aggiornare Debian con gli ultimi pacchetti disponibili per la vostra versione dovrete lanciare due comandi: