Committed, thanks
On 07.12.2013 18:24, Andrey Borzenkov wrote:
> util/grub.d/00_header.in | 58
> +---
> 1 file changed, 30 insertions(+), 28 deletions(-)
>
> diff --git a/util/grub.d/00_header.in b/util/grub.d/00_header.in
> index d2e7252..0c82f23 10
@Colin: can you review this?
On 18.12.2013 18:22, Andrey Borzenkov wrote:
> Ping? This fixes actual problem - default /etc/default/grub shipped on
> openSUSE included GRUB_HIDDEN_TIMEOUT=0 which means timeout gets
> disabled after update.
>
> Colin, I Cc you as author of original patch - what do y
Ping? This fixes actual problem - default /etc/default/grub shipped on
openSUSE included GRUB_HIDDEN_TIMEOUT=0 which means timeout gets
disabled after update.
Colin, I Cc you as author of original patch - what do you think?
В Sat, 7 Dec 2013 21:24:19 +0400
Andrey Borzenkov пишет:
> Before 44d
Before 44d488477902f0786d6bce44b74713f1713a34a9 combination of
GRUB_HIDDEN_TIMEOUT=0 and GRUB_TIMEOUT!=0 resulted in normal menu with
timeout. Now due to GRUB_HIDDEN_TIMEOUT taking precedence, it will always
set timeout to 0 and immediately load default entry.
To ensure that update does not break
