On Sat, 2023-05-20 at 09:16 -0600, home user wrote:
So as was pointed out by more than one poster, some grub clean-up is
needed. How do I do that?
Apologies if you've already considered this, but I wonder why you don't
just do a fresh install of F38 (or F37). It would have been much
quicker than all the futzing around you've had to do, and you could
have seized the opportunity to expand the /boot partition to 1GB.
My system is probably about as old as yours, and I did this a year or
two ago when BTRFS became the default filesystem (though I was already
using it for /home). Haven't regretted it since.
poc