Convert Virtualbox VDI for VMware Player

Regarding the VM that I mentioned in my previous post – this way I also got it to work in VMware Player:

• Install and start Virtualbox (https://www.virtualbox.org/wiki/Downloads)
• Go to File – Import Appliance (and import the ova file mentioned in my last post)
• Close Virtualbox
• Use VBoxManage on the command line to clone the VDI to VMDK, roughly as described here (but do not try to uninstall guest additions):  http://scottlinux.com/2011/06/24/convert-vdi-to-vmdk-virtualbox-to-vmware/
• Create a new empty Linux/Debian VM in VMware Player
• Close VMware Player
• Edit the new vmx file so that it points to the cloned vmdk
• Then open the VM in VMware player again. Now it should boot into Debian.