From 289f248c09691527ac8ac660f24db60a8eb8873a Mon Sep 17 00:00:00 2001
From: maride <maride@darknebu.la>
Date: Sat, 2 Sep 2017 16:44:32 +0200
Subject: [PATCH] Fix GRUB/EFI install for Virtualbox hosts

---
 steps/50-configure.step | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/steps/50-configure.step b/steps/50-configure.step
index 7224c68..c7770c2 100755
--- a/steps/50-configure.step
+++ b/steps/50-configure.step
@@ -19,7 +19,9 @@ echo $hostname > /mnt/etc/hostname
 
 echo "~> Configuring 'grub' for $bootloader"
 if [ "$bootloader" == "EFI" ]; then
-	arch-chroot /mnt grub-install --target=x86_64-efi --efi-directory=/boot --bootloader-id=Arch_GRUB
+	arch-chroot /mnt grub-install --target=x86_64-efi --efi-directory=/boot --bootloader-id=BOOT
+    # thanks to Virtualbox, this step is necessary
+    cp /boot/EFI/BOOT/{grubx64.efi,BOOTX64.EFI}
 else
 	arch-chroot /mnt grub-install --target=i386-pc /dev/*da
 fi