Il 27/10/20 16:27, Giancarlo Martini ha scritto:
> niente, anche con saved, a questo punto proprio non legge GRUB_DEFAULT
>
Ma infatti il bootloader non legge /etc/default/grub ma /boot/grub.cfg
che a sua volta è generato da update-grub.
Hai eseguito update-grub dopo aver modificato /etc/default/grub ?
Per caso hai piu' di una partizione efi o /boot ?