Tags:
create new tag
view all tags

Setting up a Custom Splash Screen for the Boot Menu

I found the file 800px-Cape_Coast_Castle_Balcony_02_Sept_2012.jpg on the Internet and I converted it into a png file using ImageMagick:

sudo apt-get install imagemagick

convert 800px-Cape_Coast_Castle_Balcony_02_Sept_2012.jpg 800px-Cape_Coast_Castle_Balcony_02_Sept_2012.png

Then copy the file to /usr/share/backgrounds (need to be super user).

After this we tell the system about this background image by editing /etc/default/grub and adding GRUB_BACKGROUND:

GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""
GRUB_BACKGROUND="/usr/share/backgrounds/800pxCape_Coast_Castle_Balcony_02_Sept_2012.png"
# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD …)
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"

Finally we edit /etc/grub.d/05_debian _theme as follows:

echo "if background_image `make_system_path_relative_to_its_root "${1}"`; then"
if [ -n "${2}" ]; then
echo " set color_normal=${2}"
fi
if [ -n "${3}" ]; then
echo " set color_highlight=${3}"
fi
if [ -z "${2}" ] && [ -z "${3}" ]; then
# echo " true"
echo " set color_normal=black/black"
echo " set color_highlight=yellow/dark-gray"
fi

echo "else"
set_default_theme " "
echo "fi"

-- Uli Raich - 2016-02-18

Comments

Topic revision: r1 - 2016-02-18 - uli
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback