Grub

  grub, linux, terminale

Ricordare la scelta del sistema operativo preferito, modificare il file grub

sudo nano /etc/default/grub

modificare GRUB_DEFAULT e aggiungere GRUB_SAVEDEFAULT

...
GRUB_DEFAULT=saved
GRUB_SAVEDEFAULT=true
...

Aggiornare grub

sudo update-grub

SCRIVI UN COMMENTO