On 2017-04-14 14:36, Daniel Abrecht wrote:
> 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
>
>

It's in desktop-base.

golinux