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.