Mein GRUB-Menü, das ich vor einigen Wochen durch die Installation von GRUB auf einer Festplatte innerhalb von Ubuntu 17.10 erstellt habe, wechselt zwischen zwei Schriftarten, und zwar für jede Sekunde, die der Timer herunterzählt, und wenn ich die Auswahl nach oben oder unten zu einer anderen Menüoption bewege. Das Menü funktioniert einwandfrei, es ist nur ärgerlich, dass es bei jedem Tastendruck das Menü in einer etwas größeren oder kleineren Schriftart als zuvor neu zeichnet.
Wo könnte dieses Verhalten konfiguriert werden? In meiner /etc/default/grubDatei habe ich noch keine Zeile. Die einzigen Änderungen, die ich seit der Installation von GRUB bisher GRUB_FONTan meiner Datei vorgenommen habe , waren die Änderung und die leere Zeichenfolge, damit ich die Debugmeldungen beim Start sehen kann./etc/default/grubGRUB_CMDLINE_LINUX_DEFAULTGRUB_CMDLINE_LINUX
Antwort1
Ich habe eine Lösung gefunden. GRUB sollte nicht in der Lage sein, Schriftarten auf diese Weise zu wechseln, und die Tatsache, dass es dies tut, ist ein Fehler - insbesondere das Entfernen --appendaus der folgenden Zeile in /etc/grub.d/00_header:
terminal_output --append ${GRUB_TERMINAL_OUTPUT}
... damit es wird....
terminal_output ${GRUB_TERMINAL_OUTPUT}
... und dann ausführen:
sudo update-grub
Hat bei mir funktioniert.
Hierist die Quelle.