Merge pull request #251 from wrigri/grub-fix

GRUB_HIDDEN_TIMEOUT should be a numeric value.
This commit is contained in:
Anders Ingemann 2015-09-29 00:33:41 +02:00
commit 0b9c8181fe

View file

@ -29,7 +29,8 @@ class ConfigureGrub(Task):
sed_i(grub_def, '^GRUB_CMDLINE_LINUX_DEFAULT="quiet"',
'GRUB_CMDLINE_LINUX_DEFAULT="console=hvc0"')
sed_i(grub_def, '^GRUB_TIMEOUT=[0-9]+', 'GRUB_TIMEOUT=0\n'
'GRUB_HIDDEN_TIMEOUT=true')
'GRUB_HIDDEN_TIMEOUT=0\n'
'GRUB_HIDDEN_TIMEOUT_QUIET=true')
sed_i(grub_def, '^#GRUB_DISABLE_RECOVERY="true"', 'GRUB_DISABLE_RECOVERY="true"')