[sage-devel] Re: A minimal vm

2011-11-10 Thread mmarco
Ok, the striped down 1.2 GB virtual machine is available in the same link. Maybe some unneeded system utilities could still be removed, but i wouldn't expect more than a few dozen MB gained from that. I have noticed that, when running under virtualbox and closing saving the state, everything

[sage-devel] Re: A minimal vm

2011-11-10 Thread mmarco
I forgot to mention that buiding sage from source writes the logs of all the building process. Removing them saves a lot of disk space. I think such a thing should also be included in the make micro_release script. On 10 nov, 12:35, mmarco mma...@unizar.es wrote: Ok, the striped down 1.2 GB

[sage-devel] Re: A minimal vm

2011-11-09 Thread Emil Widmann
On Nov 9, 10:59 am, mmarco mma...@unizar.es wrote: I have created a virtual machine with sage and a very minimal system. In my machine (a core i7 desktop) it boots in less than 10 seconds, and has a sage server running in around 20 from the pressing of the start button. It can be

[sage-devel] Re: A minimal vm

2011-11-09 Thread mmarco
The .ova file is 2 gigs big. It's strange that the link doesn't work for you. It does work for me form different systems and locations. Maybe you can try copying the url directly to your browser. Pay atention to the capital S in Sage.ova On 9 nov, 12:15, Emil Widmann emil.widm...@gmail.com

Re: [sage-devel] Re: A minimal vm

2011-11-09 Thread Jan Groenewald
Dear Marco, On 9 November 2011 13:34, mmarco mma...@unizar.es wrote: The .ova file is 2 gigs big. What makes it this big? I would guess 500M minimal install, 500M Sage, and the rest is desktop stuff? Is it not possible to install a server/minimal version of your OS and on that sage and to

[sage-devel] Re: A minimal vm

2011-11-09 Thread Emil Widmann
Ok it works - downloading it now. I had to use wget http://riemann.unizar.es/sagevm/Sage.ova Anyway - 2 GB is big! - how big is it if you lzma it? -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to

[sage-devel] Re: A minimal vm

2011-11-09 Thread mmarco
It is that big because just the sage directory itself is very big. The guest OS is really very minimal: almost no services running, and only installed the very basic stuff (no x server, for instance). Maybe some space could be freed if, after compiling, the source code could be erased. But i am

[sage-devel] Re: A minimal vm

2011-11-09 Thread Emil Widmann
On Nov 9, 1:00 pm, mmarco mma...@unizar.es wrote: It is that big because just the sage directory itself is very big. The guest OS is really very minimal: almost no services running, and only installed the very basic stuff (no x server, for instance). Maybe some space could be freed if, after

[sage-devel] Re: A minimal vm

2011-11-09 Thread mmarco
I have tried compressing it with 7z, and just got a gain of around 100 megs. I will try to take a look at the bdist option. Soes the use of compressed filesystems slow things down? Besides the size issue, do you have any other feedback? Thanks On 9 nov, 16:06, Emil Widmann

[sage-devel] Re: A minimal vm

2011-11-09 Thread Emil Widmann
On Nov 9, 4:17 pm, mmarco mma...@unizar.es wrote: I have tried compressing it with 7z, and just got a gain of around 100 megs. I will try to take a look at the bdist option. Soes the use of compressed filesystems slow things down? Besides the size issue, do you have any other feedback?

[sage-devel] Re: A minimal vm

2011-11-09 Thread Volker Braun
On Wednesday, November 9, 2011 6:34:18 AM UTC-5, mmarco wrote: The .ova file is 2 gigs big. This is too big. I'm maintaining the official virtual image and its only 1.4 gb, despite being a fairly standard Fedora install. Did you zero out the virtual disk before exporting? There is trash in

[sage-devel] Re: A minimal vm

2011-11-09 Thread Emil Widmann
Did you zero out the virtual disk before exporting? There is trash in the unused virtual disk sectors that impacts compression. IMHO the most important thing is not cutting down the VM to the minimal size, but making it easily maintainable by having a script that spits out a new OVA without

[sage-devel] Re: A minimal vm

2011-11-09 Thread mmarco
I am also working on that. I am thinking about setting up another guest OS that, when booted, fetches the last sage source, compiles it, and copies it to the hard disk of the main VM, overwriting the previous one. On 9 nov, 18:32, Volker Braun vbraun.n...@gmail.com wrote: On Wednesday, November

[sage-devel] Re: A minimal vm

2011-11-09 Thread mmarco
BTW, i use a flexible virtual disk. Would that benefit from the zeroing out? -- 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

[sage-devel] Re: A minimal vm

2011-11-09 Thread Volker Braun
I take it you mean dynamically allocated virtual disks, which I'm using as well. I'm pretty sure that you need to manually zero it (also check out zerofree, though I opted for the simpler dd if=/dev/zero way). -- To post to this group, send an email to sage-devel@googlegroups.com To

[sage-devel] Re: A minimal vm

2011-11-09 Thread Emil Widmann
Besides the size issue, do you have any other feedback? OK :-) , finally I managed. After long download import needs another 8 min on my machine. Bootup, startup is fast. It works like a treat! About the size You have a 16 GB dynamically allocated disk df -a command gives about 3.5 GB used I

Re: [sage-devel] Re: A minimal vm

2011-11-09 Thread William Stein
On Wed, Nov 9, 2011 at 12:11 PM, Emil Widmann emil.widm...@gmail.com wrote: Besides the size issue, do you have any other feedback? OK :-) , finally I managed. After long download import needs another 8 min on my machine. Bootup, startup is fast. It works like a treat! About the size You

[sage-devel] Re: A minimal vm

2011-11-09 Thread mmarco
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,

[sage-devel] Re: A minimal vm

2011-11-09 Thread Emil Widmann
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 I found Virtualbox a tad easier to use

[sage-devel] Re: A minimal vm

2011-11-09 Thread mmarco
In the download page of VirtualBox, there is a GPL binary for windows. -- 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