Hi,
how is the grub background image set on Devuan? I'm missing a background
image, I have only the default blue background in grub.

I studied /etc/grub.d/05_debian_themes, but there are lots of variables
I don't know.