This Should Work Also,
Sometime we need to
Edit /etc/default/grub (sudo -H gedit /etc/default/grub)...
change:
GRUB_TIMEOUT_STYLE=hidden
to:
GRUB_TIMEOUT_STYLE=menu
then save the file and quit the editor. Next run:
sudo update-grub
This Should Work Also,
Sometime we need to
Edit /etc/default/grub (sudo -H gedit /etc/default/grub)...
change:
GRUB_TIMEOUT_STYLE=hidden
to:
GRUB_TIMEOUT_STYLE=menu
then save the file and quit the editor. Next run:
sudo update-grub