Hello, I just wanted to let the Sage developers know that the Windows download for Sage 4.7 (the virtual machine) is incorrectly named, and as is, VirtualBox cannot import the VM. Since the virtual machine appliance is named "sage-4.7-update1.ova", VirtualBox expects to find "sage-4.7-update1.ovf" inside the OVA file. But since the included OVF file is named "sage-4.7.ovf", VirtualBox gets stuck and won't import the VM.
To see this, run the following command: "tar tvf /path/to/sage-4.7-update1.ova". Here's the output I receive: $ tar tvf sage-4.7-update1.ova -rw------- someone/someone 13461 2011-06-21 16:34 sage-4.7.ovf -rw------- someone/someone 1426117120 2011-06-21 16:37 sage-4.7-disk1.vmdk Renaming "sage-4.7-update1.ova" to "sage-4.7.ova" allows VirtualBox to import the VM. This file should be renamed on all download mirrors so users don't become confused. Alternatively, the VirtualBox image could be rebuilt so that OVA/OVF naming is consistent. Regards, Michael -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
