Mijn grub2 menu vermeldt nog steeds Windows7 ipv windows10 nadat ik W10 over W7 heb geinstalleerd in een dualboot met Ubuntu 14.04 LTS.
Hoe kan ik dat wijzigen???
Een “nepoplossing” is het handmatig aanpassen van /boot/grub/grub.cfg in een Terminalvenster:
sudo nano /boot/grub/grub.cfg
Zoek met Ctrl W naar de tekst
Windows in een meuentry-regel die begint met tekst als
menuentry 'Windows 7 (loader)
Wijzig dit in
menuentry 'Windows 10 (loader)
De rest van de regel ((op /dev/sda1)' --class windows enz.) laat je ongewijzigd. Opslaan (Ctrl O) en nano Afsluiten (Ctrl X).
Het is een “nepoplossing” omdat de originele 'Windows 7' tekst wordt teruggezet bij de volgende update-grub (automatisch na een kernel update).
Kan ook na een upgrade van Windows 8 naar Windows 10.
Een echte oplossing verwacht ik (pas) bij een volgende versie van grub2 of os-prober (in een volgende versie van Ubuntu).