wok annotate grub2-efi-x64/stuff/grub.cfg @ rev 25020
updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)
author | Hans-G?nter Theisgen |
---|---|
date | Wed May 18 08:05:48 2022 +0100 (2022-05-18) |
parents | |
children |
rev | line source |
---|---|
pascal@21773 | 1 search -s -f /efi/grub/grub.cfg && configfile /efi/grub/grub.cfg |
pascal@21773 | 2 search -s -f /efi/boot/grub.cfg && configfile /efi/boot/grub.cfg |
pascal@21773 | 3 search -s -f /efi/grub.cfg && configfile /efi/grub.cfg |