mkimage-profiles/features.in/grub/cfg.in/91shell_efi.cfg

if [ "$grub_platform" = "efi" ]; then
	menuentry $"EFI shell" --id 'EFI shell' {
		chainloader /EFI/shellx64.efi
		boot
	}
fi
grub: Use common grub.cfg for grub-pc and grub-efi 2021-02-12 20:46:18 +03:00			`if [ "$grub_platform" = "efi" ]; then`
grub: fix memtest_efi.cfg, shell_efi.cfg 2021-03-19 15:46:34 +03:00			`menuentry $"EFI shell" --id 'EFI shell' {`
			`chainloader /EFI/shellx64.efi`
			`boot`
			`}`
grub: Use common grub.cfg for grub-pc and grub-efi 2021-02-12 20:46:18 +03:00			`fi`