GRUB игнорирует настройки

[Charles Malaheenee]

Код: [Выделить]

$ cat /etc/default/grub
GRUB_DEFAULT=0
GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=5
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet"
GRUB_CMDLINE_LINUX=""
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"
#GRUB_TERMINAL=console
#GRUB_GFXMODE=640x480
#GRUB_DISABLE_LINUX_UUID=true
#GRUB_DISABLE_LINUX_RECOVERY="true"
#GRUB_INIT_TUNE="480 440 1"
Настройки перепроверены, update-grub не забываем, а меню GRUB все равно появляется.

Примечание: Debian Squeeze (знаем, что не кошерно, но на их форуме вопрос так и не выяснили).

P.S. Неудобно даже спрашивать такое, но тщательный поиск решения не выявил

[Виктор Перестукин]

А если закомментировать строчку:

Код: [Выделить]

GRUB_TIMEOUT=5
Система всё равно одна.

[Charles Malaheenee]

Виктор Перестукин, Ясное дело, можно - как последний вариант. Но ведь с указанными выше настройками GRUB в 10.04 работает, почему же тут не хочет? Разобраться хотим.

[Alie Alexandross]

Код: [Выделить]

vim /etc/grub.d/00_header
set timeout=0

[Charles Malaheenee]

Alie Alexandross, это всего лишь модификация способа GRUB_TIMEOUT=0.

Ситуация прояснилась. Это недостаток стандартной поставки. В Ubuntu обработка GRUB_HIDDEN_TIMEOUT из 00_header перенесена в 30_os-prober, т.е. в Debian она выполняется слишком рано и поэтому не имеет эффекта.
Тем, кому интересно решение, читаем статью, ближе к концу.

[Виктор Перестукин]

Где это там проясняется ситуация?

[Charles Malaheenee]

В статье ситуация не проясняется, она совсем о другом. Это мы провели следствие, сравнили содержимое файлов каталога /etc/grub.d, а наводку получили в этой статье.