Provided by: grub2-common_2.12-1ubuntu7.1_amd64 bug

NAME

       grub-set-default - set the saved default boot entry for GRUB

SYNOPSIS

       grub-set-default [OPTION] MENU_ENTRY

DESCRIPTION

       Set the default boot menu entry for GRUB.  This requires setting GRUB_DEFAULT=saved in /etc/default/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

       MENU_ENTRY is a number, a menu item title or a menu item identifier.

REPORTING BUGS

       Report bugs to <bug-grub@gnu.org>.

SEE ALSO

       grub-reboot(8), grub-editenv(1)

       The full documentation for grub-set-default is maintained as a Texinfo manual.  If the info and grub-set-
       default programs are properly installed at your site, the command

              info grub-set-default

       should give you access to the complete manual.