grub is basically that menu you were talking about. By editing /etc/default/grub file in Ubuntu, you will be able to set which menu option you want to start by default. Follow the instructions given in the linked duplicate post. It's nothing scary or complicated, just edit a text file and run sudo update-grub for changes to take effect.
– Sergiy KolodyazhnyyDec 10 '16 at 10:45
1
Thanks. It was the sudo update-grub I needed after making changes in the links above.
– SteveDec 12 '16 at 04:47
grub
is basically that menu you were talking about. By editing/etc/default/grub
file in Ubuntu, you will be able to set which menu option you want to start by default. Follow the instructions given in the linked duplicate post. It's nothing scary or complicated, just edit a text file and runsudo update-grub
for changes to take effect. – Sergiy Kolodyazhnyy Dec 10 '16 at 10:45sudo update-grub
I needed after making changes in the links above. – Steve Dec 12 '16 at 04:47