On 2017-04-14 19:27, Joachim Fahrner wrote:
> 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

I don't have that file. Which package contains it?

Daniel Abrecht