In caso di aggiornamenti del kernel che creino problemi (ad esempio non si riattiva la scheda di rete all’uscita dallo sleep) è importante poter ripartire con l’ultimo kernel funzionante
In Linux Mint il menu scelta del kernel all’avvio è nascosto, dovrebbe essere attivabile premendo il tasto “freccia in basso” sulla tastiera durante il boot.
Se però non dovesse funzionare, si può modificare il file /etc/default/grub forzando così la comparsa del menu.
Modificare il file /etc/default/grub
- commentare (= inserire un carattere # a inizio riga) le 2 righe che iniziano con GRUB_HIDDEN
esempio:
# If you change this file, run 'update-grub' afterwards to update # /boot/grub/grub.cfg. # For full documentation of the options in this file, see: # info -f grub -n 'Simple configuration' GRUB_DEFAULT=0 #GRUB_HIDDEN_TIMEOUT=0 #GRUB_HIDDEN_TIMEOUT_QUIET=true GRUB_TIMEOUT=5 GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian` GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" GRUB_CMDLINE_LINUX="" # Uncomment to enable BadRAM filtering, modify to suit your needs # This works with Linux (n
- salvare
- lanciare il comando update-grub
sudo update-grub(come utente sudo) per aggiornare il file /boot/grub/grub.cfg. Può richiedere qualche istante, attendere.
NB: NON modificare a mano /boot/grub/grub.cfg ma farlo aggiornare dall’apposito comando update-grub
Provato con Mint 18.3 ma molto probabilmente funziona con tutte le distribuzioni basate su Ubuntu
ATTENZIONE:
In Mint 19 qualcosa è cambiato, il file /etc/default/grub originale è il seguente:
If you change this file, run 'update-grub' afterwards to update /boot/grub/grub.cfg. For full documentation of the options in this file, see: info -f grub -n 'Simple configuration' GRUB_DEFAULT=0 GRUB_TIMEOUT_STYLE=hidden GRUB_TIMEOUT=0 GRUB_DISTRIBUTOR=lsb_release -i -s 2> /dev/null || echo Debian GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" GRUB_CMDLINE_LINUX="" Uncomment to enable BadRAM filtering, modify to suit your needs This works with Linux (no patch required) and with any kernel that obtains
modificare GRUB_TIMEOUT_STYLE=hidden in GRUB_TIMEOUT_STYLE=menu
e
GRUB_TIMEOUT=0 in GRUB_TIMEOUT=5 (oppure 10, per avere 5 o 10 secondi per scegliere)
Modificando grub si può anche scegliere di far avviare il PC in modalità testo, vedi Mint default runlevel 3