2020-06-16 16:06:56 +02:00
|
|
|
---
|
|
|
|
|
$schema: https://json-schema.org/schema#
|
|
|
|
|
$id: https://calamares.io/schemas/grubcfg
|
|
|
|
|
additionalProperties: false
|
|
|
|
|
type: object
|
|
|
|
|
properties:
|
2020-08-07 11:43:48 +02:00
|
|
|
overwrite: { type: boolean, default: false }
|
|
|
|
|
defaults:
|
|
|
|
|
type: object
|
|
|
|
|
additionalProperties: true # Other fields are acceptable
|
|
|
|
|
properties:
|
|
|
|
|
GRUB_TIMEOUT: { type: integer }
|
|
|
|
|
GRUB_DEFAULT: { type: string }
|
|
|
|
|
GRUB_DISABLE_SUBMENU: { type: boolean, default: true }
|
|
|
|
|
GRUB_TERMINAL_OUTPUT: { type: string }
|
|
|
|
|
GRUB_DISABLE_RECOVERY: { type: boolean, default: true }
|
|
|
|
|
required: [ GRUB_TIMEOUT, GRUB_DEFAULT, GRUB_TERMINAL_OUTPUT ]
|
