Ich habe festgestellt, dass seit einiger Zeit beim Aktualisieren von grub die folgende Warnmeldung angezeigt wird:
Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported.
cat /etc/default/grub
listet die folgenden Optionen auf:
GRUB_DEFAULT=0
GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash nomdmonddf nomdmonisw fsck.mode=force"
GRUB_CMDLINE_LINUX=""
Angenommen, Folgendes:
Ich benutze kein Madenmenü.
Ich möchte, dass der Startvorgang nicht durch ein Grub-Timeout verlangsamt wird.
Was sind die gültigen Optionen für mich?
Zeile entfernen:
GRUB_TIMEOUT=10
oder etwas anderes?
Betriebssystem: Linux Mint 18.2 Cinnamon 64-Bit.