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.