Hi guys, I'm having trouble understanding why there is GRUB_DEFAULT=saved and GRUB_SAVEDEFAULT=true, here:
gnu.org/software/grub/manual/grub/html_node/… The documentation is kinda confusing, it says GRUB_DEFAULT=saved can be useful just by itself, but how I understand it is that without GRUB_SAVEDEFAULT=true it actually won't save it, so how can these two be separate?