Skip to content

M
mkimage-profiles
Commit 64395363 authored by Anton Midyukov's avatar Anton Midyukov
Browse files
Options

efi: fix 40-efi-shell script for edk2-efi-shell >= 20250808-alt1

/usr/lib64/efi/shell.efi was moved to /usr/share/efi/shellx64.efi. The package is now noarch, so need to check that it is x86_64.
parent f29547fa
Hide whitespace changes
Inline Side-by-side
Showing with 11 additions and 3 deletions
features.in/efi/stage1/scripts.d/40-efi-shell
View file @ 64395363
#!/bin/sh -efu #!/bin/sh -efu
EFI_SHELL=/usr/lib64/efi/shell.efi [ $GLOBAL_ARCH = x86_64 ] || exit 0
[ -s "$EFI_SHELL" ] || exit 0
EFI_SHELL=
[ ! -s /usr/lib64/efi/shell.efi ] || EFI_SHELL=/usr/lib64/efi/shell.efi
[ -n "$EFI_SHELL" ] || [ ! -s /usr/share/efi/shellx64.efi ] ||
EFI_SHELL=/usr/share/efi/shellx64.efi
[ -n "$EFI_SHELL" ] || exit 0
mkdir -p "$WORKDIR"/boot mkdir -p "$WORKDIR"/boot
cp "$EFI_SHELL" "$WORKDIR"/boot/ cp "$EFI_SHELL" "$WORKDIR"/boot/shell.efi
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment