wok diff grub2-efi-x64/stuff/grub.cfg @ rev 23490
updated python-geojson (1.0 -> 2.5.0)
author | Hans-G?nter Theisgen |
---|---|
date | Sun Apr 05 17:38:13 2020 +0100 (2020-04-05) |
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 Sun Apr 05 17:38:13 2020 +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