This is what I did:
curl -s https://raw.githubusercontent.com/xdissent/ievms/master/ievms.sh | env IEVMS_VERSIONS="10" bash
This is what I get in the terminal:
Checking for VirtualBox
Checking for Oracle VM VirtualBox Extension Pack
Pack no. 1: Oracle VM VirtualBox Extension Pack
Building IE10 VM
Checking for existing OVA at /home/fiznool/.ievms/IE9 - Win7.ova
Downloading OVA ZIP from http://virtualization.modern.ie/vhd/IEKitV1_Final/VirtualBox/OSX/IE9_Win7.zip to IE9_Win7.zip (attempt 1 of 3)
Same with IE11.
I'm guessing this is either a deliberate mistake or there is some trickery here to try and reuse the IE9 VM for IE10 and IE11? If the latter, I can confirm once the OVA downloads, extracts and runs, IE9 is present in the VM, regardless of whether you chose IE9, IE10 or IE11.
Screenshot here showing resulting IE9 in the IE10 VM.
@fiznool See this issue #199. That should fix this.
Oh, thanks. Sorry for spamming the issues, I should have searched first.
FWIW I think this happened because my laptop wasn't set up for Virtualization in the BIOS, so VBoxManage spazzed out too early. Setting the BIOS correctly, clearing the .ievms folder and starting again seems to have worked.