diff options
| -rwxr-xr-x | images/make_boot_img | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/images/make_boot_img b/images/make_boot_img index d573ad620..565f01d9b 100755 --- a/images/make_boot_img +++ b/images/make_boot_img @@ -377,6 +377,7 @@ sub boot_iso { } if ($arch ne 'x86_64') { _ "sed -i 's#x86_64#$arch#g' .boot_iso/EFI/BOOT/grub.cfg"; + _ "sed -i 's#\\(efi_uga\\|video_bochs\\|video_cirrus\\)##g' .boot_iso/EFI/BOOT/grub.cfg"; } # add theme _ "cp -r -L /boot/grub2/themes .boot_iso/EFI/BOOT/"; |