What are the contents of /etc/default/grub now?
Setting a GRUB_TIMEOUT to -1 should be sufficient to always show the menu, I'd expect, or is that what is not working?
What are the contents of /etc/default/grub now?
Setting a GRUB_TIMEOUT to -1 should be sufficient to always show the menu, I'd expect, or is that what is not working?