Pour changer le timeout de grub, qui parfois peut être trop cours.
Fichiers grub
Il existe plusieurs fichiers gérant le comportement de grub au boot du système :
/etc/default/grub
: variables/etc/grub2.cfg
: lien vers/boot/grub2/grub.cfg
/boot/grub2/grub.cfg
: fichier permettant à grub de démmarer, ne pas le modifier directement car il se génère automatiquement avec la commandegrub2-mkconfig
.
Changer la variable timeout
Dans le fichier /etc/default/grub
, passer la variable GRUB_TIMEOUT à 60(secondes) par exemple :
# cat /etc/default/grub |
GRUB_TIMEOUT=60 |
Appliquer la nouvelle configuration avec grub2-mkconfig
:
# grub2-mkconfig -o /boot/grub2/grub.cfg |
En redémmarrant le système, le timout de grub devrait passer à la nouvelle valeur définie dans GRUB_TIMEOUT.
Documentation
Internet