The Stack Overflow podcast is back! Listen to an interview with our new CEO.

Hot answers tagged


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 GRUB_TIMEOUT_STYLE If this option is unset or set to menu, then GRUB will display the menu and then wait for the timeout set by GRUB_TIMEOUT to expire before ...

Only top voted, non community-wiki answers of a minimum length are eligible