wok diff grub2-efi-x64/stuff/grub.cfg @ rev 21899
updated seed and seed-dev (3.2.0 -> 3.8.1)
| author | Hans-G?nter Theisgen |
|---|---|
| date | Thu Oct 03 20:41:17 2019 +0100 (2019-10-03) |
| 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 Thu Oct 03 20:41:17 2019 +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