terminal_output gfxterm
fi
-if background_image /boot/grub/grml.png ; then
- set color_normal=white/black
- set color_highlight=red/black
- set menu_color_normal=white/black
- set menu_color_highlight=black/yellow
+if [ -f /boot/grub/grml-theme/theme.txt ] ; then
+ set theme=/boot/grub/grml-theme/theme.txt
+ export theme
else
set menu_color_normal=white/black
set menu_color_highlight=black/yellow
+ export menu_color_normal
+ export menu_color_highlight
fi
if [ ${iso_path} ] ; then
set loopback="findiso=${iso_path}"
+ export loopback
fi
+insmod regexp
+
for config in /boot/grub/*_default.cfg ; do source "$config" ; done
for config in /boot/grub/*_options.cfg ; do source "$config" ; done
source /boot/grub/addons.cfg