Bug#945404: hard coded workaround for 945404

[Thomas Stewart]

Hi,

As a nasty workaround I created /etc/grub.d/06_debian_theme_fix[0] with
hard coded content. I've got a separate LUKS1 crypted /boot, hence
"(crypto0)", update with appropriate grub device name for /boot (eg
hd0,1) and remember to delete this when a proper fix appears. If
/boot/grub/.background_cache.png resides on a LUKS2 this will not work.

Kind Regards
--
Tom

[0]
"""
#!/bin/sh
set -e

cp /usr/share/images/desktop-base/desktop-grub.png /boot/grub/.background_cache.png

cat << EOF
background_image (crypto0)/grub/.background_cache.png
set color_normal=white/black
set color_highlight=black/white
set menu_color_normal=white/black
set menu_color_highlight=black/white
EOF
"""