Attachment 950649 Details for Bug 1156380 – Fixed upper case extension on BOOT*.EFI

[patch] Fixed upper case extension on BOOT*.EFI

livecd-iso-to-disk-upper-case-EFI.patch (text/plain), 1.26 KB, created by Lars S. Jensen on 2014-10-25 12:11:36 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Lars S. Jensen

Created: 2014-10-25 12:11:36 UTC

Size: 1.26 KB

patch

obsolete

>Fixed upper case extension on BOOT*.EFI 
>livecd-tools-20.5-1.fc20.x86_64
>
>diff -uNrp A/livecd-iso-to-disk B/livecd-iso-to-disk 
>--- A/livecd-iso-to-disk	2014-10-25 13:02:02.077260398 +0200
>+++ B/livecd-iso-to-disk	2014-10-25 13:45:46.092074167 +0200
>@@ -1148,7 +1148,7 @@ if [ -n "$efi" ]; then
>     # the eltorito image, so try to extract it if it is missing
> 
>     # test for presence of *.efi grub binary
>-    if [ ! -f $TGTMNT$EFI_BOOT/+(BOOT|boot)?*.efi ]; then
>+    if [ ! -f $TGTMNT$EFI_BOOT/+(BOOT|boot)?*.+(EFI|efi) ]; then
>         if [ ! -x /usr/bin/dumpet ]; then
>             echo "No /usr/bin/dumpet tool found. EFI image will not boot."
>             echo "Source media is missing grub binary in /EFI/BOOT/*efi"
>@@ -1159,8 +1159,8 @@ if [ -n "$efi" ]; then
>             EFIMNT=$(mktemp -d /media/srctmp.XXXXXX)
>             mount -o loop "$SRC".1 $EFIMNT
> 
>-            if [ -f $EFIMNT$EFI_BOOT/+(BOOT|boot)?*.efi ]; then
>-                cp $EFIMNT$EFI_BOOT/+(BOOT|boot)?*.efi $TGTMNT$EFI_BOOT
>+            if [ -f $EFIMNT$EFI_BOOT/+(BOOT|boot)?*.+(EFI|efi) ]; then
>+                cp $EFIMNT$EFI_BOOT/+(BOOT|boot)?*.+(EFI|efi) $TGTMNT$EFI_BOOT
>             else
>                 echo "No BOOT*.efi found in eltorito image. EFI will not boot"
>                 umount $EFIMNT

Actions: View | Diff

Attachments on bug 1156380: 950649