Changer le temps de boot de GRUB
GRUB permet de démarrer sur une partition Linux, par défaut le temps d'attente est assez long
GRUB permet de changer le time-out (le temps d’attente) du choix de boot par défaut. Typiquement, lorsque l’ordinateur vous propose sur quel système vous voulez démarrer (cf: photo ci-dessus).
Editer le fichier de configuration de GRUB
Pour diminuer le temps d’attente de GRUB au démarrage.
# nano /etc/default/grubChangez la valeur de la ligne suivante.
GRUB_TIMEOUT=33 secondes me semble à moi approprié, car j’ai un dual-boot avec Windows. La valeur par défaut est de 10 sur ma Ubuntu LTS (ElementaryOS).
Activez les changements de la configuration
La commande suivante permet de recharger le fichier de configuration et les différentes entrées.
# update-grub
Création du fichier de configuration GRUB…
Image Linux trouvée : /boot/vmlinuz-4.4.0-38-generic
Image mémoire initiale trouvée : /boot/initrd.img-4.4.0-38-generic
Image Linux trouvée : /boot/vmlinuz-4.4.0-36-generic
Image mémoire initiale trouvée : /boot/initrd.img-4.4.0-36-generic
Windows 10 (loader) trouvé sur /dev/sda1
fait