wok diff grub2-efi-x64/stuff/grub.cfg @ rev 24054

xorg-libX11 and xorg-libX11-dev (1.6.9 -> 1.7.0)
author Hans-G?nter Theisgen
date Sun May 30 10:18:33 2021 +0100 (2021-05-30)
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 May 30 10:18:33 2021 +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