Am 2017-04-10 00:39, schrieb fsmithred:

> desktop-base is supposed to handle that, but it's not cooperating. You
> can
> bypass it by adding the following (one) line to /etc/default/grub
>
> GRUB_THEME=/usr/share/desktop-base/grub-themes/desktop-grub-them/theme.txt

Thank you for that hint.
The correct entry is:
GRUB_THEME=/usr/share/desktop-base/grub-themes/devuan/theme.txt

This is a very nice grub theme. I'm wondering why this is not set in the
default installation?

Jochen