Grub2 - Community La documentation Ubuntu dit ce qui suit:
Vous pouvez enregistrer un système d'exploitation en exécutant sudo grub-set-default si DEFAULT = saved est défini dans / etc / default / grub. Il peut également être enregistré si GRUB_SAVEDEFAULT = true est également défini dans / etc / default / grub. Dans ce cas, le système d'exploitation par défaut reste actif jusqu'à ce qu'un nouveau système d'exploitation soit sélectionné manuellement dans le menu GRUB 2 ou que la commande grub-set-default soit exécutée.
J'ai mis les lignes DEFAULT=saved
ET GRUB_SAVEDEFAULT=true
dans /etc/default/grub
, et a couru sudo grub-set-default
. Voici la sortie:
$ sudo grub-set-default
entry not specified.
Usage: grub-set-default [OPTION] entry
Set the default boot entry for GRUB.
-h, --help print this message and exit
-v, --version print the version information and exit
--boot-directory=DIR expect GRUB images under the directory DIR/grub
instead of the /boot/grub directory
ENTRY is a number or a menu item title.
Report bugs to <bug-grub@gnu.org>.
Est-ce que je ne suis pas la documentation correctement? Quelle est la bonne façon de faire cela?
sudo update-grub
".