Ricordare la scelta del sistema operativo preferito, modificare il file grub
|
1 |
sudo nano /etc/default/grub |
modificare GRUB_DEFAULT e aggiungere GRUB_SAVEDEFAULT
|
1 2 3 4 |
... GRUB_DEFAULT=saved GRUB_SAVEDEFAULT=true ... |
Aggiornare grub
|
1 |
sudo update-grub |