web-dev-qa-db-ja.com

Linux Mint18でgrubタイムアウトを変更できません

新しいラップトップですが、同じ習慣があります。WindowsとLinuxのどちらかを選択するときに、起動のgrubタイマーを30秒ではなく1秒にします。したがって、私はいつものことをしました：

  1. vim /etc/default/grub
  2. への変更 GRUB_TIMEOUT=1
  3. update grub

（もちろん、ルートターミナルからの上記のすべて）

ただし、タイマーは30秒のままです。

私はこれを何度も行ったことがありますが、変更されたのは次のとおりです。

  • 新しいラップトップ（Toshiba Portege、13.3 "）
  • Linux Mintの新しいバージョン（18 Sarah xfce）

私は何かを逃しましたか？ミント17と18の間で変更はありましたか？

ぼくの /etc/defaults/grubこんな感じ

GRUB_DEFAULT=0
#GRUB_HIDDEN_TIMEOUT=0
#GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=1
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""
linuxbootgrublinux-mint
1
Jarmund

この問題は、 [〜＃〜] pebcak [〜＃〜] の典型的なケースであることが判明しました。どういうわけか、私がしたこととは対照的に、update-grub2を実行する必要があることに気づきませんでした：update-grub。古い習慣は一生懸命に死にます。

2
Jarmund

Linux Mint 18のインストールでも、同じ問題が発生しました。次の設定が私のために働いた：

GRUB_DEFAULT=0
#GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=1.0
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
1
toschneck

X秒のタイムアウトが必要な場合は、次のことを試してください。

GRUB_TIMEOUT = X
GRUB_RECORDFAIL_TIMEOUT = X

私のために働く;）

0
user8499595