RSS

Timing Grub

Di dalam grub yang sudah kita bahas sebelumnya yaitu mengganti nama di grub dan mengganti opsi menu kali ini kita akan mengganti waktu grub dengan default 10 detik, mungkin waktu 10 detik dirasa agak lama. Tidak perlu khawatir karena waktu default grub disini bisa kita rubah

Langkah Konfigurasi
  • File konfigurasi grub berada di /boot/grub/grub.cfg
$ sudo pico /boot/grub/grub.cfg
Cari script
if [ ${recordfail} = 1 ]; then
  set timeout=-1
else
  set timeout=10
fi
### END /etc/grub.d/00_header ###
Rubah script dengan
if [ ${recordfail} = 1 ]; then
  set timeout=-1
else
  set timeout=5
fi
### END /etc/grub.d/00_header ###
  • Rubah set timeout sesuai dengan keinginan masing-masing
  • Simpan dengan ctrl+o dan enter dan balik ke terminal dengan ctrl+z
  • Terakhir test dengan merestart komputer

0 comments:

Poskan Komentar