Even voor de zekerheid een vraagje
Ik heb Ubuntu Mate 17.10 en 18.04 op sda draaien met grub ook op de sda
Ik werk nu op 17.10 en wil met gparted de partitie van 18.10 weghalen (wil ik in een virtual machine hebben)
is het dan genoeg om hierna sudo update-grub te doen of moet ik handmatig de menu entry's verwijderen?