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 ?