Hoi,
Om wat te experimenteren heb ik meerdere verschillende Distro's (ubuntu 18.04, 20.04, Linux Mint)naast elkaar geïnstalleerd, samen met Windows 10. Ik gebruik Grub om op te starten.
Misschien een dom vraagje, maar hoe verwijder ik één van die Distro's? Kan ik gewoon de betrokken partitie verwijderen met Gparted? En past Grub zich daarna aan, of moet ik iets doen om Grub duidelijk te maken dat er een Distro minder is?
Bedankt voor de info!
Bart