5 if loadfont /boot/grub/ascii.pf2 ; then
10 terminal_output gfxterm
13 if [ -f /boot/grub/grml-theme/theme.txt ] ; then
14 set theme=/boot/grub/grml-theme/theme.txt
16 set menu_color_normal=white/black
17 set menu_color_highlight=black/yellow
20 if [ ${iso_path} ] ; then
21 set loopback="findiso=${iso_path}"
26 for config in /boot/grub/*_default.cfg ; do source "$config" ; done
27 for config in /boot/grub/*_options.cfg ; do source "$config" ; done
28 source /boot/grub/addons.cfg
30 source /boot/grub/footer.cfg