Yes, you need it. It is done with VirtualBox. I don't have VMWare installed, so i am not sure, but i guess you can import it.
On 9 nov, 21:37, kcrisman <kcris...@gmail.com> wrote: > On Nov 9, 3:29 pm, mmarco <mma...@unizar.es> wrote: > > > Ok, after finding some files and directories that can be erased, and > > zeroing out, i could strip the .ova file to 1.2 GB. The df command now > > gives around 3.1 GB. Its one of the drawbacks of gentoo: you have a > > lot of control of your system, but disk usage is high. Maybe there is > > still room for uninstalling. > > I have a really dumb question. Do you need a VM player (e.g., > VirtualBox, VMWare) to use this? Or is that included somehow? Maybe > this is obviously "yes" but I just didn't see it mentioned earlier in > the thread, sorry if it's noise. > > - kcrisman -- 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
