[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: hidden timeout, only Esc key works
From: |
Vladimir 'φ-coder/phcoder' Serbinenko |
Subject: |
Re: hidden timeout, only Esc key works |
Date: |
Sun, 20 Jan 2013 22:31:03 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:10.0.11) Gecko/20121122 Icedove/10.0.11 |
Committed, thanks.
On 04.01.2013 08:59, Andrey Borzenkov wrote:
> diff --git a/ChangeLog b/ChangeLog
> index a28a1f7..386f4b3 100644
> --- a/ChangeLog
> +++ b/ChangeLog
> @@ -1,3 +1,8 @@
> +2013-01-04 Andrey Borzenkov <address@hidden>
> +
> + * docs/grub.texi (Simple configuration): Clarify GRUB_HIDDEN_TIMEOUT
> + is interrupted by ESC.
> +
> 2013-01-03 Vladimir Serbinenko <address@hidden>
>
> * util/grub.d/10_kfreebsd.in: Correct the patch to zpool.cache as it's
> diff --git a/docs/grub.texi b/docs/grub.texi
> index e23cecc..958a123 100644
> --- a/docs/grub.texi
> +++ b/docs/grub.texi
> @@ -1201,11 +1201,12 @@ immediately without displaying the menu, or to
> @samp{-1} to wait
> indefinitely.
>
> @item GRUB_HIDDEN_TIMEOUT
> -Wait this many seconds for a key to be pressed before displaying the menu.
> -If no key is pressed during that time, display the menu for the number of
> +Wait this many seconds for @key{ESC} to be pressed before displaying the
> menu.
> +If no @key{ESC} is pressed during that time, display the menu for the number
> of
> seconds specified in GRUB_TIMEOUT before booting the default entry. We expect
> that most people who use GRUB_HIDDEN_TIMEOUT will want to have GRUB_TIMEOUT
> set
> -to @samp{0} so that the menu is not displayed at all unless a key is pressed.
> +to @samp{0} so that the menu is not displayed at all unless @key{ESC} is
> +pressed.
> Unset by default.
>
> @item GRUB_HIDDEN_TIMEOUT_QUIET
--
Regards
Vladimir 'φ-coder/phcoder' Serbinenko
signature.asc
Description: OpenPGP digital signature