Joshua M. Boniface c83145f9c5 Adjust GRUB_DIST and add UEFI regeneration
Keeps the UEFI boot list cleaned and consistent
2022-11-01 02:30:52 -04:00

11 lines
330 B
Django/Jinja

# GRUB configuration
# {{ ansible_managed }}
GRUB_DEFAULT=0
GRUB_TIMEOUT=5
GRUB_DISTRIBUTOR="PVC Parallel Virtual Cluster - Debian"
GRUB_CMDLINE_LINUX="{{ grub_cmdline }}"
GRUB_TERMINAL_INPUT="console serial"
GRUB_TERMINAL_OUTPUT="gfxterm serial"
GRUB_SERIAL_COMMAND="{{ grub_serial }}"
GRUB_THEME="/usr/share/grub-pvc/theme.txt"