I use grub-customizer to change the order of the kernel list in the menu. This is working as expected.
But I would also like grub to remember the entry selected at previous boot. So I go to the general parameters tab and tick the appropriate option, this indeed adds
at the very end of /etc/default/grub. I also have, at the beginning of this file
I also updated grub from the command line, to be sure. So, in theory, it should work, but it doesn’t. In fact the first grub entry is always selected by default, no matters what was the previous choice.
Any ideas? Thanks in advance!