7 lines
126 B
INI
7 lines
126 B
INI
if [ "$grub_platform" = "efi" ]; then
|
|
menuentry $"EFI shell" --id 'EFI shell' {
|
|
chainloader /EFI/shellx64.efi
|
|
boot
|
|
}
|
|
fi
|