projects
/
grml-live.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove unused grub background image
[grml-live.git]
/
templates
/
boot
/
grub
/
grub.cfg
diff --git
a/templates/boot/grub/grub.cfg
b/templates/boot/grub/grub.cfg
index
71f7e31
..
d290dd8
100644
(file)
--- a/
templates/boot/grub/grub.cfg
+++ b/
templates/boot/grub/grub.cfg
@@
-10,11
+10,8
@@
if loadfont /boot/grub/ascii.pf2 ; then
terminal_output gfxterm
fi
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
else
set menu_color_normal=white/black
set menu_color_highlight=black/yellow
else
set menu_color_normal=white/black
set menu_color_highlight=black/yellow
@@
-24,6
+21,8
@@
if [ ${iso_path} ] ; then
set loopback="findiso=${iso_path}"
fi
set loopback="findiso=${iso_path}"
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
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