debian man page for grub-choose-default

GRUB-CHOOSE-DEFAULT(8)					      System Manager's Manual					    GRUB-CHOOSE-DEFAULT(8)

NAME
       grub-choose-default -- control grub default through a GUI

SYNOPSIS
       grub-choose-default [-r]

DESCRIPTION
       This manual page documents briefly the grub-choose-default command.

       This manual page was written for the Debian distribution because the original program does not have a manual page.

       grub-choose-default lets you control what entry from the grub menu should be booted next time you start your computer.

OPTIONS
       -r	 If used, grub-choose-default will show the reboot option, which is disabled by default

AUTHOR
       This manual page was written by Kjell Braden <fnord@pentabarf.de> for the Debian system (but may be used by others).  Permission is granted
       to copy, distribute and/or modify this document under the terms of the GNU General Public License, Version 2 or any later version published
       by the Free Software Foundation.

       The  program  itself  is written by David Mohr <david@mcbf.net> Permission is granted to copy, distribute and/or modify this document under
       the terms of the GNU General Public License, Version 2 or any later version published by the Free Software Foundation.

       On Debian systems, the complete text of the GNU General Public License can be found in /usr/share/common-licenses/GPL.

															    GRUB-CHOOSE-DEFAULT(8)