The correct syntax for enabling
/etc/default/grub (GRUB 2) is with the lines:
and not with the line
DEFAULT=save that the enquirer suggested.
After adding the two lines above to
/etc/default/grub, one has to update GRUB’s configuration, as a superuser, with the following commands: