2016-09-17 17:39:34 +02:00
|
|
|
---
|
|
|
|
type: map
|
|
|
|
mapping:
|
2016-09-19 00:01:54 +02:00
|
|
|
"overwrite": { type: bool, default: false }
|
2016-09-17 17:39:34 +02:00
|
|
|
"defaults":
|
|
|
|
type: map
|
|
|
|
mapping:
|
2016-09-19 00:01:54 +02:00
|
|
|
"GRUB_TIMEOUT": { type: int, required: true }
|
|
|
|
"GRUB_DEFAULT": { type: str, required: true }
|
|
|
|
"GRUB_DISABLE_SUBMENU": { type: bool, default: true }
|
|
|
|
"GRUB_TERMINAL_OUTPUT": { type: str, required: true }
|
|
|
|
"GRUB_DISABLE_RECOVERY": { type: bool, default: true }
|