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: