I edited /etc/default/grub setting
Code: Select all
GRUB_TIMEOUT=10
Code: Select all
sudo update-grub
Result, no change. Still waiting 30 seconds for the grub menu to go away.
I got some ideas from this recent thread:
viewtopic.php?f=46&t=362992&hilit=GRUB_ ... MEOUT+uefi
and it seems that /boot/grub/grub.cfg overrides the requested timeout if the machine (like the Framework) is UEFI based.
I was able to get the desired result by editing this bit of /boot/grub/grub.cfg (which we're not supposed to do) and changing the 30 second timeout to 10 seconds.
Code: Select all
if [ $grub-platform = efi ]; then
set timeout=30
if [ x$feature-timeout-style = xy ] ; then
set timeout-style=menu
fi
fi
Code: Select all
sudo update-grub
1) Is there a cleaner way to do this?
2) Why the hardcoded 30 second delay for UEFI machines?