2014-11-18 04:32:55 +01:00
|
|
|
---
|
|
|
|
|
# If set to true, always creates /etc/default/grub from scratch even if the file
|
|
|
|
|
# already existed. If set to false, edits the existing file instead.
|
|
|
|
|
overwrite: false
|
2018-06-26 11:47:23 +02:00
|
|
|
|
2014-11-18 04:32:55 +01:00
|
|
|
# Default entries to write to /etc/default/grub if it does not exist yet or if
|
|
|
|
|
# we are overwriting it. Note that in addition, GRUB_CMDLINE_LINUX_DEFAULT and
|
|
|
|
|
# GRUB_DISTRIBUTOR will always be written, with automatically detected values.
|
|
|
|
|
defaults:
|
|
|
|
|
GRUB_TIMEOUT: 5
|
|
|
|
|
GRUB_DEFAULT: "saved"
|
|
|
|
|
GRUB_DISABLE_SUBMENU: true
|
|
|
|
|
GRUB_TERMINAL_OUTPUT: "console"
|
|
|
|
|
GRUB_DISABLE_RECOVERY: true
|
