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   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)