+ findmnt -no SOURCE,FSTYPE --target /boot
/dev/mapper/pve-root ext4
+ ls -l /boot/grub/grubenv
-rw-r--r-- 1 root root 1024 Oct  4 09:46 /boot/grub/grubenv
+ cp -p /etc/default/grub /root/grub.default.bak-2026-10-04
+ sed -i 's/^GRUB_DEFAULT=0$/GRUB_DEFAULT=saved/' /etc/default/grub
+ grep '^GRUB_DEFAULT' /etc/default/grub
GRUB_DEFAULT=saved
+ update-grub
+ tail -3
Found memtest86+ 32bit image: /boot/memtest86+ia32.bin
Adding boot menu entry for UEFI Firmware Settings ...
done
+ grub-set-default 'gnulinux-advanced-529c0c3d-b48e-4d01-989d-43fd5d7dbb43>gnulinux-7.0.2-6-pve-advanced-529c0c3d-b48e-4d01-989d-43fd5d7dbb43'
+ grub-editenv list
saved_entry=gnulinux-advanced-529c0c3d-b48e-4d01-989d-43fd5d7dbb43>gnulinux-7.0.2-6-pve-advanced-529c0c3d-b48e-4d01-989d-43fd5d7dbb43
+ grep -n 'set default' /boot/grub/grub.cfg
+ head -4
17:   set default="${next_entry}"
22:   set default="${saved_entry}"
