我注意到,从前一段时间开始,更新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超时而减慢。
对我来说有效的选择是什么?
删除线:
GRUB_TIMEOUT=10
或者是其他东西?
操作系统:Linux Mint 18.2 Cinnamon 64-bit。