On 2024-05-24 20:36:41, Pascal Hambourg wrote:
It is a known bug.
This is a highly destructive bug. You have UEFI boot finally working,
you just do some cleanup, and on the next reboot of your server 8
weeks later it doesn't boot anymore. :-(
AFAICT the problem is the config file isn't properly managed by *any*
package:
# dpkg -S /etc/default/grub
dpkg-query: no path found matching pattern /etc/default/grub
Doesn't this violate some Debian policy manual? I remember something
about not unconditionally overwriting config files.
