14 lines
563 B
Plaintext
14 lines
563 B
Plaintext
|
---
|
||
|
|
# 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
|
||
|
|
# 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
|