The problem here is that we set the relevant configuration items by way of debconf preseeding, but that's only a useful way to do it if grub-pc isn't already installed - and it's been in our default live filesystems for at least three releases now (as far back as I cared to look). I'll need to change this to set configuration items directly in /etc/default/grub instead, which should work both for server and desktop installs.
The problem here is that we set the relevant configuration items by way of debconf preseeding, but that's only a useful way to do it if grub-pc isn't already installed - and it's been in our default live filesystems for at least three releases now (as far back as I cared to look). I'll need to change this to set configuration items directly in /etc/default/grub instead, which should work both for server and desktop installs.