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
_______________________________________________
Dng mailing list
Dng@lists.dyne.org
https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng

Reply via email to