Any specific reason for having this in grub:

if [ $grub_platform = efi ]; then
set timeout=30
if [ x$feature_timeout_style = xy ] ; then
set timeout_style=menu


?? 😕

@ivan EFI is the source of failed boots, so maybe you want 30 seconds (instead of the usual 5) to choose something else when your new OS and EFI don't get along?

@jamesvasile sure thing, but the thing is that this is enforced within the grub config. No way to override it.

My settings are ignored (on ubuntu). And if I change manually, during the next "upgrade-grub" settings will be reset again.

Sign in to participate in the conversation
Tomica's Mastodon instance is one server in the network