Differences between revisions 9 and 10
⇤ ← Revision 9 as of 2017-12-10 15:20:16 →
Size: 2752
Editor: BeatriceTorracca
Comment: sync with english master
← Revision 10 as of 2020-04-21 10:02:51 → ⇥
Size: 2775
Editor: BeatriceTorracca
Comment: sync with English master v.28
Deletions are marked like this. Additions are marked like this.
Line 4: Line 4:
= Come aggiornare il kernel =
Il modo più facile per farlo è di installare sul proprio sistema uno dei pacchetti forniti con un'immagine del kernel. Possono essere ottenuti usando apt-get o aptitude, se si vuole usare la riga di comando, oppure Synaptic se si vuole usare un'interfaccia grafica.		 = Come aggiornare il kernel Linux =
Line 7: Line 6:
Per installare un'immagine del kernel, prima si deve decidere quale si vuole usare. Iniziare da Il modo più facile per farlo è di installare sul proprio sistema uno dei pacchetti forniti con un'immagine del kernel Linux. Possono essere ottenuti usando apt-get o aptitude, se si vuole usare la riga di comando, oppure Synaptic se si vuole usare un'interfaccia grafica.

Per installare un'immagine del kernel Linux, prima si deve decidere quale si vuole usare. Iniziare da
Line 12: Line 13:
Notare che le immagini del kernel sono disponibili in diverse tipologie, a seconda della propria architettura. Notare che le immagini sono disponibili in diverse tipologie, a seconda della propria architettura.
Line 14: Line 15:
Una buona panoramica sulle versioni del kernel disponibili può essere trovata su
[[DebianPts:linux]].		 Una buona panoramica sulle versioni disponibili può essere trovata su [[DebianPts:linux]].
Line 17: Line 17:
Il kernel più recente può essere installato con: La versione più recente può essere installata con:
Line 19: Line 20:
 $ sudo apt-get install linux-image-<tipologia>  $ sudo apt install linux-image-<tipologia>
Line 22: Line 23:
 <!> Assicurarsi di leggere tutto ciò che viene visualizzato durante l'installazione, specialmente '''riguardo l'immagine initrd'''. Se si usa un bootloader non usuale potrebbe essere necessario riconfigurlo dopo l'installazione dell'immagine del kernel; in questo caso non dimenticarsi di indicare di usare l'immagine initrd corretta per il kernel (la pagina sulla [[it/PackageManagement|Gestione dei pacchetti]] contiene dettagli su come elencare il contenuto di un pacchetto).  <!> Assicurarsi di leggere tutto ciò che viene visualizzato durante l'installazione, specialmente '''riguardo l'immagine initrd'''. Se si usa un bootloader non usuale potrebbe essere necessario riconfigurarlo dopo l'installazione dell'immagine; in questo caso non dimenticarsi di indicare di usare l'immagine initrd corretta per il kernel (la pagina sulla [[it/PackageManagement|Gestione dei pacchetti]] contiene dettagli su come elencare il contenuto di un pacchetto).
Line 24: Line 25:
Ci sono alcuni repository alternativi per le immagini del kernel, ma non sono supportati e non hanno aggiornamenti di sicurezza (in modo tempestivo):
 * per [[it/DebianStable|Debian Stable]], usare [[StableProposedUpdates]] o [[it/Backports|Backports]];		 Ci sono alcuni repository alternativi per le immagini, ma non sono supportati e non hanno aggiornamenti di sicurezza (in modo tempestivo):
 * per [[it/DebianStable|Debian Stable]], usare [[it/StableProposedUpdates|StableProposedUpdates]] o [[it/Backports|Backports]];
Line 28: Line 29:
 # cat >> /etc/apt/preferences << EOF  $ sudo -i
 # cat >> /etc/apt/preferences.d/linux-kernel << EOF
Line 33: Line 35:
 # apt-cache policy # mostra/verifica le preferenze attuali  # apt policy # mostra/verifica le attuali preferenze
 # echo "deb http://deb.debian.org/debian experimental main" >> /etc/apt/sources.list
 # apt update
 # apt -t experimental install linux-image-3.10-rc5-686-pae
}}}
Line 35: Line 41:
 # echo "deb http://deb.debian.org/debian experimental main" >> /etc/apt/sources.list Si può voler usare unstable invece di experimental e/o scegliere un mirror o una versione differenti. Inoltre la versione e la versione dell'ABI sono probabilmente diverse.
Line 37: Line 43:
 # apt-get update

 # apt-get -t experimental install linux-image-3.10-rc5-686-pae
}}}
   (Si può voler usare unstable invece di experimental e/o scegliere un mirror o una versione differenti. Inoltre le versioni del kernel e dell'ABI sono probabilmente diverse.) Questo può avere alcune ulteriori dipendenze, ma generalmente non dovrebbero avere effetti negativi sul sistema stable (o testing) dell'utente. Dopo si può sempre comunque selezionare il vecchio kernel dal bootloader.		 Questo può avere alcune ulteriori dipendenze, ma generalmente non dovrebbero avere effetti negativi sul sistema stable (o testing) dell'utente. Dopo si può sempre comunque selezionare la vecchia versione dal bootloader.
Line 46: Line 48:
 * [[DebianKernel]] - la pagina del Debian Kernel Team  * [[DebianKernel]] - la pagina del Team Debian del Kernel Linux

Translation(s): English - Italiano

Come aggiornare il kernel Linux

Il modo più facile per farlo è di installare sul proprio sistema uno dei pacchetti forniti con un'immagine del kernel Linux. Possono essere ottenuti usando apt-get o aptitude, se si vuole usare la riga di comando, oppure Synaptic se si vuole usare un'interfaccia grafica.

Per installare un'immagine del kernel Linux, prima si deve decidere quale si vuole usare. Iniziare da 

apt-cache search linux-image

Notare che le immagini sono disponibili in diverse tipologie, a seconda della propria architettura.

Una buona panoramica sulle versioni disponibili può essere trovata su linux.

La versione più recente può essere installata con: 

 $ sudo apt install linux-image-<tipologia>

  • <!> Assicurarsi di leggere tutto ciò che viene visualizzato durante l'installazione, specialmente riguardo l'immagine initrd. Se si usa un bootloader non usuale potrebbe essere necessario riconfigurarlo dopo l'installazione dell'immagine; in questo caso non dimenticarsi di indicare di usare l'immagine initrd corretta per il kernel (la pagina sulla Gestione dei pacchetti contiene dettagli su come elencare il contenuto di un pacchetto).

Ci sono alcuni repository alternativi per le immagini, ma non sono supportati e non hanno aggiornamenti di sicurezza (in modo tempestivo):

  • per Debian Stable, usare StableProposedUpdates o Backports;

  • per Debian Unstable e Debian Experimental, usare qualcosa di simile a questo: 

    •  $ sudo -i
 # cat >> /etc/apt/preferences.d/linux-kernel << EOF
 Package: *
 Pin: release o=Debian,a=experimental
 Pin-Priority: 102
 EOF
 # apt policy   # mostra/verifica le attuali preferenze
 # echo "deb http://deb.debian.org/debian experimental main" >> /etc/apt/sources.list
 # apt update
 # apt -t experimental install linux-image-3.10-rc5-686-pae

Si può voler usare unstable invece di experimental e/o scegliere un mirror o una versione differenti. Inoltre la versione e la versione dell'ABI sono probabilmente diverse.

Questo può avere alcune ulteriori dipendenze, ma generalmente non dovrebbero avere effetti negativi sul sistema stable (o testing) dell'utente. Dopo si può sempre comunque selezionare la vecchia versione dal bootloader.

Vedere anche