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