Re: [PATCH] grub-reboot no more sets saved_default

["Vladimir 'φ-coder/phcoder' Serbinenko" <phcoder@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1661 bytes --]

On 10.11.2013 14:37, Andrey Borzenkov wrote:
> Remove reference to grub-default from description of saved default entry.
> 
> Also mention that GRUB_DEFAULT=saved depends on availability of environment
> block.
> 
Go ahead. Please don't forget the changelogs (you forgot in last patch,
please fix)
> ---
>  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
> -@command{grub-reboot}.
> +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
> -@command{grub-set-default} or @command{grub-reboot}.  Unset by default.
> +@command{grub-set-default}.  Unset by default.
>  This option relies on the environment block, which may not be available in
>  all situations (@pxref{Environment block}).
>  
> 



[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 291 bytes --]