order of /etc/grub.d scripts overriding font settings
Hi Dan, thanks for your software, BTW.
After fiddling with grub-customizer I have a pretty good handle on how it works. However, when I change the font and colors of the font using grub-customizer, it writes it to 05_debian<
However, when 10_Mint_theme comes along...which changes the fonts to something else, naturally, those font variables get overwritten as grub-customizer continues on thru my /etc/grub.d's scripts.
Now, can I go into 10_mint_theme and just comment out the font variable settings there without affecting your program in any way? I'm guessing so, but wanted to bring this up to you that this is happening with me, just in case someone else comes along with the "I can't get grub-customizer to set my fonts correctly" problem.
My /etc/grub.d looks like the following:
mom@ThinkPad-T530 /etc/grub.d $ ls -al
total 100
drwxr-xr-x 5 root root 4096 Dec 3 22:31 .
drwxr-xr-x 148 root root 12288 Dec 3 22:33 ..
-rwxr-xr-x 1 root root 7541 Apr 9 2013 00_header
-rwxr-xr-x 1 root root 5974 Apr 9 2013 05_debian_theme
-rwxr-xr-x 1 root root 1183 Oct 23 2011 10_mint_theme
-rwxr-xr-x 1 root root 358 Dec 3 22:31 11_linux_proxy
-rwxr-xr-x 1 root root 10634 Oct 1 2012 12_lupin
-rwxr-xr-x 1 root root 10258 Apr 9 2013 13_linux_xen
-rwxr-xr-x 1 root root 2063 Dec 3 22:31 17_os-prober_proxy
-rwxr-xr-x 1 root root 1688 Dec 5 2012 18_memtest86+
-rwxr-xr-x 1 root root 1426 Apr 9 2013 19_uefi-firmware
-rwxr-xr-x 1 root root 214 Apr 9 2013 20_custom
-rwxr-xr-x 1 root root 216 Apr 9 2013 21_custom
drwxr-xr-x 2 root root 4096 Dec 3 21:44 bin
drwxr-xr-x 2 root root 4096 Nov 22 20:40 images
drwxr-xr-x 2 root root 4096 Dec 3 22:31 proxifiedScripts
-rw-r--r-- 1 root root 483 Apr 9 2013 README
NOTE: I created "images" and dumped my pretty anti-microsoft images in there for grub to use... :)
-------
Here's my 10_mint_theme script:
-------
mom@ThinkPad-T530 /etc/grub.d $ more 10*
#!/bin/bash -e
source /usr/lib/
set_mono_theme()
{
cat << EOF
set menu_color_
set menu_color_
EOF
}
# check for usable backgrounds
use_bg=false
#if [ "$GRUB_
# for i in {/boot/
# if is_path_
# bg=$i
# case ${bg} in
# *.png) reader=png ;;
# *.tga) reader=tga ;;
# *.jpg|*.jpeg) reader=jpeg ;;
# esac
# if test -e /boot/grub/
# 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_
# cat << EOF
#insmod ${reader}
#if background_image `make_system_
# set color_normal=
# set 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
I was also wondering if I could just simply chmod 400 on 10_mint_theme and just turn off the script altogether. Just looking at the script, it doesn't seem to do much...other than screw up my fonts... LOL.
I have Mint 15, CrunchBang and Ubuntu running on my T530. Overkill, I know ;).
Anyway, before I do anything to the scripts, wanted to verify my guesses with you. Thanks, Kim
Question information
- Language:
- English Edit question
- Status:
- Solved
- Assignee:
- No assignee Edit question
- Solved by:
- Kim Wibbing
- Solved:
- Last query:
- Last reply: