hi!
> you want to set a custom wallpaper nowadays, you can either simply copy
> it to /boot/grub/ or specify it in /etc/default/grub for example like
> this:
> GRUB_BACKGROUND="/path/to/myfile.png"
thanks - but setting a background leads to setting the menu colors. i.e. the
line in /etc/grub.d/05_debian_theme doesn't quite do:
set_background_image "${GRUB_BACKGROUND}" || set_default_theme
either a
set_background_image ${GRUB_BACKGROUND} || set_default_theme
or passing some further variables from /etc/default/grub is still necessary...
regards,
Chris
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
