wok diff grub2-efi-x64/stuff/grub.cfg @ rev 21773
Add grub2-efi-x64
| author | Pascal Bellard <pascal.bellard@slitaz.org> |
|---|---|
| date | Mon Jul 08 17:07:31 2019 +0200 (2019-07-08) |
| 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 Mon Jul 08 17:07:31 2019 +0200 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