On 16.06.2019 16:29, stan via users wrote:
On Sun, 16 Jun 2019 16:10:21 +0200
"Patrick Dupre" <pdupre(a)gmx.com> 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.
>
> How can I manage this ?
I've never had that happen. Bizarre! If it happened to me I would
check /etc/default/grub to be sure that the grub defaults are what I
want, and then run
grub2-mkconfig -o grub.cfg
in the directory where grub.cfg is.
Check if you have GRUB_DEFAULT=saved in /etc/default/grub and what entry
is printed: grub-editenv list ?