Daar heb je helemaal gelijk in.
Trouwens eerst nog even de beste wensen voor het nieuwe jaar (voordat ik het vergeet).
Bedankt dat je ons daarnaartoe verwijst. Ben er ook achter gekomen dat na de installatie nog steeds hetzelfde aan de hand is. Dus zal dat bestand van Grub ofzo aangepast moeten worden. Moet alleen nog even bekijken wat daar precies in moet komen te staan. Als ik me niet vergis moet ik eerst in het bootmenu wat ik nu krijg het opstarten van Ubuntu aanpassen en daarna als hij goed is opgestart naar dat /etc/default/grub gaan om dat grub bestand aan te passen en niet vergeten om daarna ook nog 'update-grub' uit te voeren.