Bagaimana Mengubah Batas Waktu Grub Di Ubuntu 20.04?

Jawaban atas pertanyaan yang sangat lama disarankan untuk diedit

/etc/default/grub

File itu memiliki konten berikut:

GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=0
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

Batas waktu yang saya saksikan saat mem-boot sistem adalah 10 detik. Menurut file konfigurasi itu 0 detik. Jadi, di mana batas waktu sebenarnya ditentukan di Ubuntu 20.04?

Jawaban yang Diterima:

Ini semacam bug di GRUB.

Di /etc/grub.d/30_os-prober , inilah cuplikan kode yang menyebabkan masalah…

quick_boot="1"

export TEXTDOMAIN=grub
export TEXTDOMAINDIR="${datarootdir}/locale"

. "$pkgdatadir/grub-mkconfig_lib"

found_other_os=

adjust_timeout () {
  if [ "$quick_boot" = 1 ] && [ "x${found_other_os}" != "x" ]; then
    cat << EOF
set timeout_style=menu
if [ "\${timeout}" = 0 ]; then
  set timeout=10
fi
EOF
  fi
}

Untuk mengubah/memperbaiki batas waktu 10 detik, edit /etc/grub.d/30_os-prober dengan:

sudo -H gedit /etc/grub.d/30_os-prober

dan juga:

1. setel quick_boot="1" ke quick_boot="0"
2. setel set timeout=10 untuk set timeout=3

Catatan :atau edit /etc/default/grub dan atur GRUB_TIMEOUT=3, atau antara 1 dan 10.

sudo update-grub

Catatan :Lihat di sini untuk detail/opsi lebih lanjut.