Posts Taged eliminare-vecchi-kernel

Vi ricordo che il Kernel e’ il cuore di Linux e funge da interfaccia tra Software e CPU Memoria e Device dell’ Hardware

Ogni distribuzione al momento del rilascio viene distribuita con una specifica versione del Kernel di Linux, poi ogni tanto mediante l’apposito programma di aggiornamento del sistema che varia

da distribuzione a distribuzione può venire proposto l’aggiornamento del kernel stesso.

Ci sono casi in cui pero’ alcune versioni del kernel entrano in conflitto con l’hardware in uso e si rende necessario forzare l’aggiornamento prima del rilascio ufficiale.

In questi casi come e’ successo a me per esempio dopo la installazione di Mint 18.3, per problemi di schermata nera al boot, puo’ essere utile aggiornare il Kernel.

Esiste una utility UKUU che permette di scaricare versioni piu’ aggiornate del kernel e una volta installata vi tiene anche aggiornati sulle nuove versioni disponibili permettendovi di decidere se installare gli aggiornamenti oppure no.

E’ sicuramente compatibile con Debian e derivate quindi anche Ubuntu e Mint e altre ….

Prima di descrivere UKUU puo’ essere utile sapere come forzare la visualizzazione del GRUB all’avvio per poter scegliere una versione precedente piu’ vecchia nel caso che il nuovo kernel generi problemi.

Per visualizzare il GRUB sempre ad ogni avvio occorre aprire un terminale di linux e digitare:

sudo gedit /etc/default/grub  per editare il file di configurazione del Grub…

dovete cercare la istruzione: GRUB_HIDDEN_TIMEOUT=0 e modificarla mettendo il simbolo # davanti alla fine dovra’ essere cosi: #GRUB_HIDDEN_TIMEOUT=0

fatto questo occorre cercare la istruzione : GRUB_TIMEOUT e modificarla per esempio cosi’ : GRUB_TIMEOUT=15

e salvare il file.

In questo modo gli si dice di visualizzare il grub e attendere 15 secondi prima di proseguire in automatico ma avrete tutto il tempo per selezionare la seconda voce del menu del grub e scegliere con quale versione del Kernel avviare il sistema.

Per rendere effettive le modifiche occorre dare il seguente comando prima del riavvio : sudo update-grub

p.s. gedit e’ un editor di sistema se non installato lo potete installare prima di eseguire il tutto oppure usare al posto di gedit l’editor da voi preferito.