Subject: bug#592: grub fixing

From: Ralph Ronnquist <[email-masked]>
Date: Sat, 17 Jul 2021 07:54:31 +1000

package: devuan-installer
Version: 4.0

[hagbard_ at dev1galaxy]

Another deepsea related weirdness: The theme automatically gets added
to /etc/default/grub upon installation. This causes grub to complain
and wait at boot, if / is encrypted so that the theme files are not
accessible. Idea: Don't modify /etc/default/grub by default, but make
it optional by a dpkg question?