16 Jun
2019
16 Jun
'19
10:11 a.m.
On Sun, 16 Jun 2019 16:10:21 +0200 Patrick Dupre wrote:
On one machine, when booting and entering in grub menu to choice the OS, it points on the 4th one and not on the 1st one.
No doubt the "default" boot is set in the grub environment file. Investigate the grub2-editenv tool to list and edit the environment. Here's what "list" shows for me:
zooty> sudo grub2-editenv - list kernelopts=root=UUID=fb156e65-9621-4242-b334-0994a1301b04 ro selinux=0 audit=0 net.ifnames=0 biosdevname=0 saved_entry=gnulinux-5.0.9-301.fc30.x86_64-advanced-fb156e65-9621-4242-b334-0994a1301b04 menu_auto_hide=0 boot_success=1 boot_indeterminate=0
That saved_entry is probably the one it is stuck on.