Dual boot - missing the startup menu

Edit /etc/default/grub and change the line…

GRUB_TIMEOUT_STYLE=hidden

… into …

GRUB_TIMEOUT_STYLE=menu

Then, open up a terminal and run… :arrow_down:

sudo update-grub