Wer das elegante Betriebssystem Linux Mint parallel installiert und das als Standard bootende Betriebssystem wählen möchte öffnet eine Konsole und gibt
sudo /etc/default/grub
ein. Im sich öffnenden Editor kann nun der Standardeintrag ausgewählt werden. Grub beginnt bei 0 zu zählen!
Speichern, Editor beenden und in der Konsole zum Abschluß ein Update von Grub starten.
sudo update-grub
Funktioniert mitnichten!
GRUB ist bei Linuxmint 17 nicht installiert; man kann es nachinstallieren. Läuft in wesentlichen automatisch.
Aber dann führt sudo grub zum Aufruf von grub und nichts weiter. Kein Editor, keine Eintragsliste für die Bootreihenfolge etc.
Genau das habe ich als Nicht-Linuxer erwartet!
Es gibt mit dem grub-customizer auch eine GUI Variante.
Hier steht geschrieben wie es funktioniert…