[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] grub-reboot no more sets saved_default
From: |
Andrey Borzenkov |
Subject: |
[PATCH] grub-reboot no more sets saved_default |
Date: |
Sun, 10 Nov 2013 17:37:04 +0400 |
Remove reference to grub-default from description of saved default entry.
Also mention that GRUB_DEFAULT=saved depends on availability of environment
block.
---
docs/grub.texi | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/docs/grub.texi b/docs/grub.texi
index ead8fbd..cf11723 100644
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -1277,8 +1277,9 @@ 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
-saved by @samp{GRUB_SAVEDEFAULT}, @command{grub-set-default}, or
address@hidden
+saved by @samp{GRUB_SAVEDEFAULT} or @command{grub-set-default}. This relies on
+the environment block, which may not be available in all situations
+(@pxref{Environment block}).
The default is @samp{0}.
@@ -1287,7 +1288,7 @@ If this option is set to @samp{true}, then, when an entry
is selected, save
it as a new default entry for use by future runs of GRUB. This is only
useful if @samp{GRUB_DEFAULT=saved}; it is a separate option because
@samp{GRUB_DEFAULT=saved} is useful without this option, in conjunction with
address@hidden or @command{grub-reboot}. Unset by default.
address@hidden Unset by default.
This option relies on the environment block, which may not be available in
all situations (@pxref{Environment block}).
--
tg: (3369025..) u/grub-reboot_default (depends on: master)
- [PATCH] grub-reboot no more sets saved_default,
Andrey Borzenkov <=