---
# 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_GFXPAYLOAD_LINUX=keep
    GRUB_DISABLE_RECOVERY=true
    GRUB_DISTRIBUTOR="ROSA"
    GRUB_GFXMODE=1024x768,1024x600,800x600,640x480
    GRUB_DEFAULT=saved
    GRUB_SAVEDEFAULT=true
    GRUB_TIMEOUT="10"
    GRUB_CMDLINE_LINUX_DEFAULT='splash=silent logo.nologo'
    GRUB_DISABLE_OS_PROBER=false
    GRUB_THEME="/boot/grub2/themes/rosa/theme.txt"
    GRUB_BACKGROUND="/boot/grub2/themes/rosa/terminal_background.png"