警告：GRUB_HIDDEN_TIMEOUTが設定されている場合にGRUB_TIMEOUTをゼロ以外の値に設定することはサポートされなくなりました

しばらく前から、grubの更新時に次の警告メッセージが表示されることに気づきました。

Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported.

cat /etc/default/grub

は、次のオプションをリストします。

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=""

以下を想定します。

• グラブメニューは使いません。

• 起動プロセスが何らかのgrubタイムアウトによって遅くならないようにしたいのですが。

私にとって有効なオプションは何ですか？

行を削除する：

GRUB_TIMEOUT=10

または、他の何か？

OS：Linux Mint 18.2 Cinnamon 64ビット。

私はさまざまな組み合わせを試しましたが、結果は次のとおりです：

/etc/default/grub

私の場合、grubメニューをまったく表示したくない場合は、次の行を削除すると機能します。

GRUB_HIDDEN_TIMEOUT=0

設定中：

GRUB_TIMEOUT=0

その後、実行することを忘れないでください：

sudo update-grub

警告は表示されなくなります。