Lors de la dernière réunion du groupe d’utilisateurs de Linux et du logiciels libres auxquels j’appartiens (AGU3L : https://agu3l.org), un utilisateur nous à demandé comment changer le temps de l’interface de sélection de Grub.

Si vous aussi vous vous posez la question, voici comment faire:

Lancer une terminal et entrer la commande suivante :

vim /etc/default/grub

puis chercher et modifier la valeur numérique de la ligne « GRUB_TIMEOUT=5 »

Par défaut vous avez le temps de 5 secondes qui apparaît, mais vous pouvez changer la valeurs pour le temps en seconde de votre choix.

Attention, le temps « 0 » permet de passer le temps en instantané. Si vous désirez passer le temps en infini, il faut indiqué le temps « -1 »

Il faut maintenant régénérer le fichier de configuration grub pour que le timeout soit pris en compte.

Pour cela dans votre console entrer la commande suivante.

grub-mkconfig -o /boot/grub/grub.cfg

maintenant si vous redémarrez votre menu grub apparaîtra le temps que vous avez indiqués 🙂