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.