Grub-customizer heb ik niet gevonden.
Methode Pjotr werkt, maar zeer krom.
"GRUB_DEFAULT=11" stond er bij mij in de lijst etc/default/grub (misschien door gebruik opstart-manager?) . Ik heb de 11 veranderd in een willekeurig ander getal (6). Toen was het default besturingssysteem inderdaad veranderd en vermoedde ik dat 8 een beter resultaat zou geven. Dat werkte inderdaad, maar op deze manier wil ik niet werken. Ik vermoed dat e.e.a. het resultaat is van grub2.
Grub2 heeft me al andere resultaten opgeleverd:
-andere linuxen zoals Mandriva, Pclinuxos kunnen niet opgestart worden
-grub kan niet op floppy worden weggeschreven, ondanks die mogelijkheid in startupmanager.
-tools werken niet meer (zoals super grub disk).