vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

* docs/grub.texi: Document usage of menuentry id.

Browse source
This commit is contained in:
Vladimir Serbinenko 2013-11-04 05:15:15 +01:00
parent 0c62124eb5
commit 67508925d0
2 changed files with 26 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2013-11-04 Vladimir Serbinenko <phcoder@gmail.com>
* docs/grub.texi: Document usage of menuentry id.
2013-11-04 Vladimir Serbinenko <phcoder@gmail.com> 2013-11-04 Vladimir Serbinenko <phcoder@gmail.com>
* docs/grub.texi: Add few mentions about EFI, debug and videoinfo. * docs/grub.texi: Add few mentions about EFI, debug and videoinfo.

26
docs/grub.texi
View file

@ -1254,14 +1254,14 @@ Valid keys in @file{/etc/default/grub} are as follows:
@item GRUB_DEFAULT @item GRUB_DEFAULT
The default menu entry. This may be a number, in which case it identifies The default menu entry. This may be a number, in which case it identifies
the Nth entry in the generated menu counted from zero, or the title of a the Nth entry in the generated menu counted from zero, or the title of a
menu entry, or the special string @samp{saved}. Using the title may be menu entry, or the special string @samp{saved}. Using the id may be
useful if you want to set a menu entry as the default even though there may useful if you want to set a menu entry as the default even though there may
be a variable number of entries before it. be a variable number of entries before it.
For example, if you have: For example, if you have:
@verbatim @verbatim
menuentry 'Example GNU/Linux distribution' --class gnu-linux { menuentry 'Example GNU/Linux distribution' --class gnu-linux --id example-gnu-linux {
... ...
} }
@end verbatim @end verbatim
@ -1269,9 +1269,13 @@ menuentry 'Example GNU/Linux distribution' --class gnu-linux {
then you can make this the default using: then you can make this the default using:
@example @example
GRUB_DEFAULT='Example GNU/Linux distribution' GRUB_DEFAULT=example-gnu-linux
@end example @end example
Previously it was documented the way to use entry title. While this still
works it's not recommended since titles often contain unstable device names
and may be translated
If you set this to @samp{saved}, then the default menu entry will be that If you set this to @samp{saved}, then the default menu entry will be that
saved by @samp{GRUB_SAVEDEFAULT}, @command{grub-set-default}, or saved by @samp{GRUB_SAVEDEFAULT}, @command{grub-set-default}, or
@command{grub-reboot}. @command{grub-reboot}.
@ -3117,7 +3121,21 @@ source for more details.
If this variable is set, it identifies a menu entry that should be selected If this variable is set, it identifies a menu entry that should be selected
by default, possibly after a timeout (@pxref{timeout}). The entry may be by default, possibly after a timeout (@pxref{timeout}). The entry may be
identified by number or by title. identified by number or by id.
For example, if you have:
@verbatim
menuentry 'Example GNU/Linux distribution' --class gnu-linux --id example-gnu-linux {
...
}
@end verbatim
then you can make this the default using:
@example
default=example-gnu-linux
@end example
If the entry is in a submenu, then it must be identified using the titles of If the entry is in a submenu, then it must be identified using the titles of
each of the submenus starting from the top level followed by the number or each of the submenus starting from the top level followed by the number or