wok-6.x view grub2-efi-x64/stuff/grub.cfg @ rev 25079

updated orc and orc-dev (0.4.29 -> 0.4.32)
author Hans-G?nter Theisgen
date Wed Jun 15 15:25:16 2022 +0100 (2022-06-15)
parents
children
line source
1 search -s -f /efi/grub/grub.cfg && configfile /efi/grub/grub.cfg
2 search -s -f /efi/boot/grub.cfg && configfile /efi/boot/grub.cfg
3 search -s -f /efi/grub.cfg && configfile /efi/grub.cfg