blob: 8516765c1f0719dd02749428eccefe3753b9bdf0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
overwrite: false
prefer_grub_d: false
keep_distributor: false
defaults:
GRUB_TIMEOUT: 5
GRUB_DEFAULT: "saved"
GRUB_DISABLE_SUBMENU: true
GRUB_TERMINAL_OUTPUT: "console"
GRUB_DISABLE_RECOVERY: true
|