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
17 set menu_color_normal=white/black
18 set menu_color_highlight=black/yellow
19 export menu_color_normal
20 export menu_color_highlight
23 if [ ${iso_path} ] ; then
24 set loopback="findiso=${iso_path}"
30 for config in /boot/grub/*_default.cfg ; do source "$config" ; done
31 for config in /boot/grub/*_options.cfg ; do source "$config" ; done
32 source /boot/grub/addons.cfg
34 source /boot/grub/footer.cfg