Package: grub2-common
Version: 2.12-9
I would like to report what appears to be a regression or documentation
mismatch regarding GRUB_DISABLE_EDITING on Debian 13 ("trixie").
On a fresh Debian 13 amd64 system, I added the following to
/etc/default/grub for security reason:
GRUB_DISABLE_EDITING=true
Then I ran "sudo update-grub."
The command completed without errors and regenerated
/boot/grub/grub.cfg.
However:
- Pressing e at the GRUB menu still allows editing of boot entries.
- Searching /boot/grub/grub.cfg for any reference to "disable" or
"editing" returns nothing (for example, grep -i disable
/boot/grub/grub.cfg produces no output).
This suggests that the GRUB_DISABLE_EDITING variable is not being
translated into any corresponding GRUB setting in the generated
configuration.
My understanding is that GRUB_DISABLE_EDITING=true is supposed to
disable interactive editing of menu entries, so either this
functionality has been removed or it is no longer wired up in the Debian
packaging/scripts.
Could you please clarify whether:
- GRUB_DISABLE_EDITING is still intended to be supported on Debian 13,
and if so, which GRUB variable/command in grub.cfg should be generated;
or
- The option is deprecated/unsupported, in which case the documentation
and default /etc/default/grub handling may need to be updated?
System details:
- Debian version: Debian 13 "trixie" (amd64)
- Boot mode: UEFI
- grub-install version: 2.12-9
