Originally Posted by
uacnt83982803
Update: I found that if I hold down the shift key when I power up the machine, the GRUB menu always appears as expected. Is that indicative of some specific issue that I can remedy?
I would suggest that you edit /etc/default/grub
Boot into Ubuntu and open a terminal
Code:
sudo nano /etc/default/grub
Code:
GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=menu # change hidden to menu
GRUB_TIMEOUT=10 # change 0 to 10
GRUB_DISTRIBUTOR=`( . /etc/os-release; echo ${NAME:-Ubuntu} ) 2>/dev/null || echo Ubuntu`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""
GRUB_DISABLE_OS_PROBER=false # add this line
Ctrl o to save and Ctrl x to exit
Power off and power on
Any good?
Bookmarks