diff options
Diffstat (limited to 'upstream/archlinux/man8/grub-set-default.8')
| -rw-r--r-- | upstream/archlinux/man8/grub-set-default.8 | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/upstream/archlinux/man8/grub-set-default.8 b/upstream/archlinux/man8/grub-set-default.8 new file mode 100644 index 00000000..769a68d2 --- /dev/null +++ b/upstream/archlinux/man8/grub-set-default.8 @@ -0,0 +1,39 @@ +.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.49.3. +.TH GRUB-SET-DEFAULT "8" "December 2023" "GRUB 2:2.12-1" "System Administration Utilities" +.SH NAME +grub-set-default \- set the saved default boot entry for GRUB +.SH SYNOPSIS +.B grub-set-default +[\fI\,OPTION\/\fR] \fI\,MENU_ENTRY\/\fR +.SH DESCRIPTION +Set the default boot menu entry for GRUB. +This requires setting GRUB_DEFAULT=saved in \fI\,/etc/default/grub\/\fP. +.TP +\fB\-h\fR, \fB\-\-help\fR +print this message and exit +.TP +\fB\-V\fR, \fB\-\-version\fR +print the version information and exit +.TP +\fB\-\-boot\-directory\fR=\fI\,DIR\/\fR +expect GRUB images under the directory DIR/grub +instead of the \fI\,/boot/grub\/\fP directory +.PP +MENU_ENTRY is a number, a menu item title or a menu item identifier. +.SH "REPORTING BUGS" +Report bugs to <bug\-grub@gnu.org>. +.SH "SEE ALSO" +.BR grub-reboot (8), +.BR grub-editenv (1) +.PP +The full documentation for +.B grub-set-default +is maintained as a Texinfo manual. If the +.B info +and +.B grub-set-default +programs are properly installed at your site, the command +.IP +.B info grub-set-default +.PP +should give you access to the complete manual. |