Как переключаться с 17.10 на 18.10 на одном компьютере [дубликат]
В Ubuntu 12.04 (или более поздней версии), как мне установить время GRUB и ОС по умолчанию (которые я вижу во время загрузки), поскольку я использую двойную загрузку Windows (7/8) и Ubuntu (12.04 или выше)?
225
задан meteors
19 July 2015 в 09:46
поделиться
1 ответ
В 20 требуется ручное копирование. 10 (как минимум) на машине, основанной на EFI, вам необходимо указать GRUB_RECORDFAIL_TIMEOUT в качестве таймаута из-за того, что, на мой взгляд, является ошибкой (https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1918736)
Таким образом, ваш /etc/default/grub должен содержать:
GRUB_RECORDFAIL_TIMEOUT=10
для таймаута в 10 секунд.
Чтобы обновить конфигурацию grub и проверить правильность вывода:
sudo update-grub && grep -B3 "set timeout=" /boot/grub/grub.cfg
И вы должны увидеть:
...
if [ $grub_platform = efi ]; then
set timeout=10
...
1
ответ дан
19 March 2021 в 00:32
поделиться