Copy of the /etc/grub.d/06_mint_theme file LM14

[Brahim Salem]

I have messed up my /etc/grub.d/06_mint_theme file and now when I run

Code: Select all

sudo gedit /etc/grub.d/06_mint_theme

I get an empty file. I'm runnig Linux Mint 14 Cinnamon 64bit. Please run that command and send me a copy of your /etc/grub.d/06_mint_theme file if you are using Linux Mint 14 nooooooooooooow please

[caribriz]

Here is the original, unedited /etc/grub.d/06_mint_theme from Mint 14 Cinnamon:

Code: Select all

#!/bin/bash -e

source /usr/lib/grub/grub-mkconfig_lib

set_mono_theme()
{
  cat << EOF
set menu_color_normal=white/black
set menu_color_highlight=white/light-gray
EOF
}

# check for usable backgrounds
use_bg=false
#if [ "$GRUB_TERMINAL_OUTPUT" = "gfxterm" ] ; then
#  for i in {/boot/grub,/usr/share/images/desktop-base}/linuxmint.{png,tga} ; 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 /boot/grub/${reader}.mod ; then
#        echo "Found Debian background: `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=white/black
#  set color_highlight=white/light-gray
#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