26/04/2020, 07:47
Se la distribuzione che vuoi eliminare è quella che gestisce il grub, lo capisci dal fatto che di norma è la distribuzione che si avvia per impostazione predefinita, prima devi fare gestire il grub ad un'altra distribuzione, di solito per farlo è sufficiente avviare la distro che vuoi che gestisca il grub, e installare o aggiornare il grub. Quando riavvii se il grub è passato all'altra distribuzione potrai tranquillamente eliminare la distro, che comunque continuerai a vederla nel grub anche dopo formattazione della partizione, almeno fino a quando non aggiornerai di nuovo il grub.