Hi, I would like to use my machine's UEFI boot menu over Grub's to boot different kernels etc. so that I can put a 0 second time out on Grub. Is there a more efficient way to do this than install grub multiple times in /boot/efi/efi?
If not, and this isn't a terrible idea, should the grub-install script be altered so that grubdir is configurable and not hard-coded to bootdir/@grubdirname@ All suggestions appreciated. Thanks, Jamie _______________________________________________ Help-grub mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-grub
