Re: how to change boot screen image?

[b w <apisonco@gmail.com>]

/etc/grub.d/05_debian_theme                              6059/6260               96%

# First check whether the user has specified a background image explicitly.
# If so, try to use it. Don't try the other possibilities in that case
# (#608263).
if [ -n "${GRUB_BACKGROUND+x}" ]; then
        set_background_image "${GRUB_BACKGROUND}" || set_default_theme
        exit 0
fi

# Next search for pictures the user put into /boot/grub/ and use the first one.
for background in *.jpg *.JPG *.jpeg *.JPEG *.png *.PNG *.tga *.TGA; do
        if set_background_image "${background}"; then
                exit 0
        fi
done

# Next try to use the background image and colors specified by desktop-base.
if set_background_image "${WALLPAPER}" "${COLOR_NORMAL}" "${COLOR_HIGHLIGHT}"; then
        exit 0
fi

# If we haven't found a background image yet, use the default from desktop-base.