carta
grub-choose-default(8)

grub-choose-default8

Control grub default through a gui

Usage

grub-choose-default [-r]

Overview

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

History

  • Debian 9 (Stretch): the text shown here
  • Debian 8 (Jessie) to Debian 5.0 (Lenny)

Author

This manual page was written by Kjell Braden <[email protected]> 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 <[email protected]> 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.

From grub-choose-default 0.2-7 in Debian 9 (Stretch). Parsed by carta from the page's man source.