GRUB - Choix de l'OS par défaut avec un dualboot
mardi 20 octobre 2020, 21:57 Lien permanent
Habituellement toutes mes machines sont installées avec une distribution Linux, voire un dualboot Linux/Windows et un démarrage de Linux par défaut.
Pour mon portable professionnel, il en va de même, sauf que j'utilise plus souvent Windows rendu obligatoire par les logiciels qui me sont imposés. De plus, il m'arrive de prêter mon portable et ce dualboot est vécu comme une expérience extraordinaire et même pénible par mes collègues, ce qui m'amène à changer la configuration de mon dual boot, géré par GRUB 2 sous Mint.
Modifier la configuration
sudo su
cd /etc/default
nano grub
GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""
On change tout bêtement la valeur de GRUB_DEFAULT
On peut également réduire le délai de lancement avec GRUB_TIMEOUT
GRUB_DEFAULT=2 # on choisit de pointer la 3ème ligne (0,1,2) par défaut ---> ici Windows
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=5 # On réduit le délai à 5s
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""
Appliquer les modifications
La modification n'est pas instantanée, il faut recompiler GRUB
update-grub
On reboote pour vérifier la prise en compte de la modification