#!/bin/sh
if test -f /etc/default/grub; then
  . /etc/default/grub
fi
if [ -n "${GRUB_COLOR_NORMAL}" ]; then
   echo "set color_normal=${GRUB_COLOR_NORMAL}"
   echo "set menu_color_normal=${GRUB_COLOR_NORMAL}"
fi
if [ -n "${GRUB_COLOR_HIGHLIGHT}" ]; then
   echo "set color_highlight=${GRUB_COLOR_HIGHLIGHT}"
   echo "set menu_color_highlight=${GRUB_COLOR_HIGHLIGHT}"
fi