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