Zauważyłem, że od pewnego czasu podczas aktualizacji gruba pojawia się następujący komunikat ostrzegawczy:
Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported.
cat /etc/default/grub
wyświetla następujące opcje:
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=""
Zakładając, że:
Nie używam menu GRUB.
Chcę, aby proces rozruchu nie został spowolniony z powodu przekroczenia limitu czasu.
Jakie są dla mnie ważne opcje?
Usuwanie linii:
GRUB_TIMEOUT=10
albo coś innego?
System operacyjny: Linux Mint 18.2 Cinnamon 64-bit.