I am using a Multiboot-environment (BIOS) and I want to configure grub so, that it remembers the last selected entry(OS) for booting next time. Is it all right to add the following entry to /etc/default/grub: GRUB_SAVEDEFAULT=true and afterwards to run sudo grub-mkconfig -o /boot/grub/grub.cfg? Please explain, if that is the right way. THY