diff options
Diffstat (limited to 'share/bootloaders/grub-pc/grub.cfg')
-rw-r--r-- | share/bootloaders/grub-pc/grub.cfg | 25 |
1 files changed, 15 insertions, 10 deletions
diff --git a/share/bootloaders/grub-pc/grub.cfg b/share/bootloaders/grub-pc/grub.cfg index a93ceb946..1aa0c4aa5 100644 --- a/share/bootloaders/grub-pc/grub.cfg +++ b/share/bootloaders/grub-pc/grub.cfg @@ -1,24 +1,29 @@ set default=0 +loadfont $prefix/dejavu-bold-16.pf2 +loadfont $prefix/dejavu-bold-14.pf2 loadfont $prefix/unicode.pf2 set gfxmode=auto insmod all_video insmod gfxterm -terminal_output gfxterm - insmod png -insmod tga -if [ -e /isolinux/splash.png ] ; then - background_image /isolinux/splash.png - set color_normal=light-gray/black - set color_highlight=white/black +set color_normal=light-gray/black +set color_highlight=white/black + +if [ -e /isolinux/splash.png ]; then + # binary_syslinux modifies the theme file to point to the correct + # background picture + set theme=/boot/grub/live-theme/theme.txt +elif [ -e /boot/grub/splash.png ]; then + set theme=/boot/grub/live-theme/theme.txt else - background_image /boot/grub/splash.tga - set menu_color_normal=cyan/blue - set menu_color_highlight=white/blue + set menu_color_normal=cyan/blue + set menu_color_highlight=white/blue fi +terminal_output gfxterm + insmod play play 960 440 1 0 4 440 1 |