line1=Configuration files,11
default_file=GRUB default settings file,0
grub_cfg=Generated GRUB menu file,0
grub_dir=GRUB script directory,0
custom_file=Custom GRUB menu entries file,3,None
password_file=Webmin-managed GRUB password script,3,None
color_file=Webmin-managed GRUB color script,3,None
theme_dir=GRUB theme installation directory,3,None
background_dir=GRUB background image installation directory,3,None
grubenv_file=GRUB environment file,3,None
bls_dir=Boot Loader Specification entries directory,3,None
line2=Executables,11
mkconfig_cmd=Command to generate the GRUB menu file,0
install_cmd=Command to install the GRUB boot loader,3,None
set_default_cmd=Command to set the saved default entry,3,None
reboot_once_cmd=Command to set the next boot entry,3,None
editenv_cmd=Command to inspect the GRUB environment,3,None
script_check_cmd=Command to validate GRUB scripts,3,None
mkpasswd_cmd=Command to generate GRUB PBKDF2 password hashes,3,None
grubby_cmd=Command to update BLS kernel options,3,None
shell_cmd=Shell used to validate the default settings file,0
