save.image compression_level argument

Hi,

in "save.image", it would be nice if there was a "compression_level"
argument that is passed along to "save".

Or is there a reason for disabling the "compression_level" option for
saving workspaces, but enabling it for manually saving individual
objects?

Why not just call save() yourself?  save.image() is a rarely used 
(directly) convenience wrapper.

And why do you want to change the compression level?  There is very 
little advantage in using it for 'gzip' compression, and really the 
only significant use is reduce it to save time for xz compression.

If you are volunteering others to add a feature, it behooves you to 
explain why it would be useful to you and might be to others.  Nothing 
is 'disabled': this is a new feature request ....

Thanks,
Andreas

______________________________________________
R-devel at r-project.org mailing list
https://stat.ethz.ch/mailman/listinfo/r-devel

Brian D. Ripley,                  ripley at stats.ox.ac.uk
Professor of Applied Statistics,  http://www.stats.ox.ac.uk/~ripley/
University of Oxford,             Tel:  +44 1865 272861 (self)
1 South Parks Road,                     +44 1865 272866 (PA)
Oxford OX1 3TG, UK                Fax:  +44 1865 272595