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
grubis basically that menu you were talking about. By editing/etc/default/grubfile 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-grubfor changes to take effect. – Sergiy Kolodyazhnyy Dec 10 '16 at 10:45sudo update-grubI needed after making changes in the links above. – Steve Dec 12 '16 at 04:47