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
