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
> +
> + * docs/grub.texi (Simple configuration): Clarify GRUB_HIDDEN_TIMEO
В Fri, 4 Jan 2013 00:08:26 -0700
Chris Murphy пишет:
> VirtualBox 4.1.22
> grub2-2.00-15.fc18.x86_64
>
>
> /etc/default/grub contains:
> GRUB_TIMEOUT=0
> GRUB_HIDDEN_TIMEOUT=1
> GRUB_HIDDEN_TIMEOUT_QUIET=true
>
> So I get a Welcome to Grub and then an immediate boot. Shift, space, letters,
>
