Bug#980367: grub-common: disregards settings in /etc/default/grub

2021-01-18 Thread Norbert Preining
Hi Colin, > * /etc/default/grub > * the resulting /boot/grub/grub.cfg > * any output from "sudo update-grub" Oh .. now I see .. my /etc/default/grub was renamed to /etc/default/grub.ucf-dist and no /etc/default/grub remain. Not sure how that did happen, though. Renaming

Bug#980367: grub-common: disregards settings in /etc/default/grub

2021-01-18 Thread Colin Watson
On Mon, Jan 18, 2021 at 05:31:53PM +0900, Norbert Preining wrote: > I am not sure when it happened, but it seems that grub started to ignore > settings in /etc/default/grub, despite /etc/grub.d/README referring to > it, and pervious versions correctly used it. > > I have to add additional boot

Bug#980367: grub-common: disregards settings in /etc/default/grub

2021-01-18 Thread Norbert Preining
Package: grub-common Version: 2.04-12 Severity: critical X-Debbugs-Cc: norb...@preining.info Hi I am not sure when it happened, but it seems that grub started to ignore settings in /etc/default/grub, despite /etc/grub.d/README referring to it, and pervious versions correctly used it. I have to