default_file=/etc/default/grub
grub_cfg=/boot/grub2/grub.cfg
grub_dir=/etc/grub.d
custom_file=/etc/grub.d/40_custom
password_file=/etc/grub.d/01_webmin_password
color_file=/etc/grub.d/06_webmin_colors
theme_dir=/boot/grub2/themes
background_dir=/boot/grub2/backgrounds
grubenv_file=/boot/grub2/grubenv
bls_dir=/boot/loader/entries
mkconfig_cmd=/usr/sbin/grub2-mkconfig
install_cmd=/usr/sbin/grub2-install
set_default_cmd=/usr/sbin/grub2-set-default
reboot_once_cmd=/usr/sbin/grub2-reboot
editenv_cmd=/usr/bin/grub2-editenv
script_check_cmd=/usr/bin/grub2-script-check
mkpasswd_cmd=/usr/bin/grub2-mkpasswd-pbkdf2
grubby_cmd=/usr/sbin/grubby
shell_cmd=/bin/sh
