This did it. Previously /boot/grub/grub.cfg mentioned Windows on sda3 but now it doesn't. The partition is still there of course but at least I don't see the grub menu entry. Many thanks!
Stopwatch1986
Well yes, but many users say it's better to start with a clean install. This gives me sleepless nights as we are slowly approaching the release to Debian 14 .
I wouldn’t suggest messing with a boot partition unless you are comfortable using a live boot disk to reinstall the bootloader if something goes wrong.
Repartitioning done but I still get the Windows option in the bootloader menu. It's not the default so not a problem but it's a little annoying.
I have changed the partitions and all seems to work but I still get the bootloader menu with the Windows option even though there is no Windows partition. Not a huge problem, but it is a little annoying I can't remove references to Windows without risking breaking my setup.
In the end, I went for something like this. I moved /home to the larger partition I created out of the Windows partitions and I will use the old, smaller /home as separate storage.
The problem now is how I can remove Windows from the bootloader. There is no Windows partition left anyway.
Amen. I took your advice and Ventoy really saved the day. Without it and its option 2 (grub2) no live USB booted.
How would you resize /home upwards with /boot/efi standing in the middle?
Very reassuring. The Ship of Theseus approach has been working for me for decades.
It will take some reading but this sounds like a good long-term solution. Perhaps LVM should be the default. And there should be a live USB GUI method that would make the process less scary and safer. Thanks.
ah, OK it's not just me then. I find the prospect of having to reinstall Debian on my main work machine every two years is scary. I'd rather have the messy partitioning for the rest of my life :)
I think that's a good plan. With a backup, moving step-by-step and some reading it's difficult to get it horribly wrong. If the new /home doesn't work while the old /home is unmounted, I will just have to backtrack. Minimising risk sounds like a project though.
Apparently, the easy way is to install Grub Customizer, but I don’t like PPAs so I disabled the OS Prober instead. The partition is still there but at least I don't see the grub entry.