#! /bin/sh -e prefix=/usr exec_prefix=/usr bindir=/usr/bin libdir=/usr/lib64 datadir=/usr/share . ${datadir}/grub/grub-mkconfig_lib set_mono_theme() { cat << EOF set menu_color_normal=white/black set menu_color_highlight=black/light-gray EOF } # check for usable backgrounds use_bg=false if [ "$GRUB_TERMINAL_OUTPUT" = "gfxterm" ] && [ "x$GRUB_WALLPAPER" != "x" ]; then for i in ${datadir}/grub/`basename $GRUB_WALLPAPER` $GRUB_WALLPAPER ; do if is_path_readable_by_grub $i ; then bg=$i case ${bg} in *.png) reader=png ;; *.tga) reader=tga ;; *.jpg|*.jpeg) reader=jpeg ;; esac if test -e ${libdir}/grub/i386-pc/${reader}.mod ; then echo "Found background image: `basename ${bg}`" >&2 use_bg=true break fi fi done fi # set the background if possible if ${use_bg} ; then prepare_grub_to_access_device `${grub_probe} --target=device ${bg}` cat << EOF insmod ${reader} if background_image `make_system_path_relative_to_its_root ${bg}` ; then set color_normal=$GRUB_COLOR_NORMAL set color_highlight=$GRUB_COLOR_HIGHLIGHT else EOF fi # otherwise, set a monochromatic theme for Ubuntu if ${use_bg} ; then set_mono_theme | sed -e "s/^/ /g" echo "fi" else set_mono_theme fi