It sounds like you have an old version of VirtualBox installed. Which version are you using? I strongly suggest you upgrade. VirtualBox 4 has a GUI to configure the TCP/IP ports to connect between host and guest VM. Also, you can use the OVA simply via File->Import appliance. If you use my VM then you don't need to fiddle with the network setting as it has them already set.
-- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org