abelthorne a écritComment est-ce qu'on le configure, au juste ? Dans /boot/grub, il n'y a plus de menu.lst. Je voudrais augmenter la durée du menu et éventuellement changer l'OS lancé par défaut...
C'est très simple en fait. Le seul fichier que tu peux éditer est /etc/default/grub. Dans celui-ci tu peux changer certains paramètres comme GRUB_TIMEOUT=10 si tu veux changer le temps pendant lequel le menu est affiché.
Chaque fois que tu modifie ce fichier, tu
dois faire un:
$ sudo update-grub
pour que les modifs soient prises en compte.
Pour changer ll'OS lancé par défaut, tu tapes:
$ sudo grub-set-dafault x
où x est le numéro de l'OS à lancer.
Aussi simple qu'avec grub-legacy, non? 😉