I wanted to hide GRUB during boot, so that I can access the list of OS whenever I want to boot something other than the default. I hid GRUB by specifying in
GRUB_TIMEOUT=0 GRUB_HIDDEN_TIMEOUT=0 GRUB_HIDDEN_TIMEOUT_QUIET=true GRUB_DEFAULT=0
The problem is now that whenever I press the
shift key duing boot,
Loading grub is printed , but then quickly thereafter loads the OS without giving me an option to select OS.
Now that I cannot get into grub using the
shift key, how can I get into debian to change the settings?