-
TOUJOURS : Sauvegarder la version précédente de GRUB
$ sudo cp /etc/default/grub /etc/default/grub.old
2. Pour booter sur le dernier choix (Linux ou Windows selon les users)
Editer GRUB
$ sudo nano /etc/default/grub
1) change the value of GRUB_DEFAULT to saved:
GRUB_DEFAULT=saved
2) enable the SAVEDEFAULT functionality by adding the following line:
GRUB_SAVEDEFAULT=true
3) Faire la mise à jour de GRUB
$ sudo update-grub
2. Pour booter sous Windows
https://askubuntu.com/questions/52963/how-do-i-set-windows-to-boot-as-the-default-in-the-boot-loader
propose 2 solutions de modification de grub : par libellé ou par numéro de ligne (1ere ligne > 0… 3e ligne > 2)
Pour connaître le numéro de menu :
# grep menuentry /boot/grub/grub.cfg affiche les lignes de menu
GRUB_DEFAULT=3 pour la 4e ligne (0,1,2,3) qui correspond à Windows
Attention : Optionnel mais ne fonctionne pas très bien : en Multi-Boot, rendre GRUB plus moderne (image, couleurs .. ) :
http://mavielinux.com/2015/10/27/rendre-grub-plus-sexy-avec-grub-customizer
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer