2 source /boot/grub/header.cfg
6 for config in /boot/grub/*_default.cfg ; do source "$config" ; done
7 for config in /boot/grub/*_options.cfg ; do source "$config" ; done
8 if [ -f /boot/grub/addons.cfg ] ; then
9 source "/boot/grub/addons.cfg"
12 source /boot/grub/footer.cfg