====== Display GRUB Menu ======

If your [[https://en.wikipedia.org/wiki/GNU_GRUB|GRUB]] menu is not displaying and/or the shortcut key is being ignored, you can force a timed display as follows:

Edit the GRUB configuration:

<code bash>
sudo vi /etc/default/grub
</code>

If you see a line like GRUB_HIDDEN_TIMEOUT=0 or GRUB_TIMEOUT_STYLE=hidden, comment it out:

<code properties>
#GRUB_HIDDEN_TIMEOUT=0
</code>

Then, specify the amount of time you want the GRUB menu to display on startup, where ‘#’ is seconds:

<code properties>
GRUB_TIMEOUT=#
</code>

After making changes, run ''sudo update-grub'' to update the grub configuration.