Grub

Ever since I’ve set up EFI boot on my machine using grub I had this issue with timeout option not wanting to go away. Digging into the issue I first looked at /boot/grub/grub.cfg where I found this piece of code: if [ $grub_platform = efi ]; then set timeout=30 if [ x$feature_timeout_style = xy ] ; then set timeout_style=menu fi fi “This is weird” I said to myself, where does that come from?...