wok-current diff grub2-efi-x64/stuff/grub.cfg @ rev 24925
updated mpc (0.33 -> 0.34)
| author | Hans-G?nter Theisgen |
|---|---|
| date | Wed Apr 13 13:55:09 2022 +0100 (2022-04-13) |
| parents | |
| children |
line diff
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/grub2-efi-x64/stuff/grub.cfg Wed Apr 13 13:55:09 2022 +0100 1.3 @@ -0,0 +1,3 @@ 1.4 +search -s -f /efi/grub/grub.cfg && configfile /efi/grub/grub.cfg 1.5 +search -s -f /efi/boot/grub.cfg && configfile /efi/boot/grub.cfg 1.6 +search -s -f /efi/grub.cfg && configfile /efi/grub.cfg