On Sat, 15 Jun 2019 23:23:36 +0200
François Patte <francois.patte(a)mi.parisdescartes.fr> wrote:
I have now destroyed these partitions but grubby still uses them and
writes a faulty /boot/grub2/grub.cfg file.
Where does it find that these partitions still exist?
Posted by Tom Horsley, from another thread.
"""
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.
"""
Maybe it points you to the problem.