Problem
Ab und zu ist die Standardzeit der Grub-Menüauswahl beim starten von Debian nicht passend. Entweder die voreingestellten fünf Sekunden sind zu lang, oder deutlich zu kurz.
Lösung
- Als root die Datei
/etc/default/grubbearbeiten - Änderungen an eintrag „GRUB_TIMEOUT“ durchführen
- Mit
update-grubdie geänderte Konfigurationsdatei übernehmen
grub (grand unified bootloader) nicht grup (grand unified penis?)
Oh mein Gott, wie peinlich. Korrigiert, vielen Dank … außerdem *pruuuuuuuuuuuuuuuuuuuuuuuuust* „Unified Penis“