grub boot timeout

This commit is contained in:
Noah Masur 2022-06-14 06:38:34 -04:00
parent b48c9aef12
commit 884f0cdeea

View File

@ -15,8 +15,20 @@
# Don't install GRUB, required for UEFI? # Don't install GRUB, required for UEFI?
device = "nodev"; device = "nodev";
# Display menu indefinitely if holding shift key
extraConfig = ''
if keystatus --shift ; then
set timeout=-1
else
set timeout=0
fi
'';
}; };
# Always display menu indefinitely; default is 5 seconds
# timeout = null;
# Allows GRUB to interact with the UEFI/BIOS I guess # Allows GRUB to interact with the UEFI/BIOS I guess
efi.canTouchEfiVariables = true; efi.canTouchEfiVariables = true;
}; };