Mint scelta del kernel all’avvio

Come scegliere il kernel all’avvio. Procedure leggermente diverse in Mint 18 e Mint 19

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