I let VirtualBox do dynamic allocation for the disk. I installed Centos7 development/creative station and built sage7.3 from source. The size of the .vdi file is ~8GBytes. That shouldn't be too surprising; if you compare that to the .ova file (~3GBytes) the vdi is bigger but still comparable...they essentially do the same thing.
On Monday, September 12, 2016 at 7:02:06 AM UTC-7, Dima Pasechnik wrote: > > > > On Sunday, September 11, 2016 at 7:38:13 PM UTC, multiscalar wrote: >> >> You might want to consider just installing a linux virtual machine and >> building sage from source there. >> It's a little bit more work than importing an ova, but longterm it's more >> usable. The linux OS + built sage >> should fit in 10GBytes, so you can in principle have several versions.... >> > 10GB is wildly optimistic. > With all the tools you need to build/run Sage, you probably would need > that much for them, excluding Sage. > I'd reserve at least 30 to 50 GB... > > >> >> On Thursday, September 8, 2016 at 11:19:33 AM UTC-7, Temperus Tempus >> wrote: >>> >>> Hello, >>> >>> I´ve installed virtualbox 5.1.4 on win10 system and imported sage >>> 7.3.ova. >>> When I try to start sage with the green arrow at virtual box it comes >>> until the sage promt, where I have to login. >>> When I login with sage, pw: sage, I get: Last login: ..." and prompt. >>> The notebook didn´t start automatically. >>> So I try to start it with "./ notebook-browser (as I found out with ls >>> command). >>> But I only get: (chromium-browser:1622): Gtk-WARNING **: cannot open >>> display: >>> What´s the problem? Couldn´t find any help in the net. >>> >>> Thanks in advance. >>> >>> -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.