What is a common use-case for "./sage -min"?
Is the "./sage -min" option purely preference driven (for a person who simply prefers a clean namespace)? Is it commonly used?
I wrote "sage -min" specifically since David Harvey wanted it. I have never used it or heard of anybody using it.
Yes, it is purely preference driven. My guess is that is not commonly used at all.
Asked: 2010-08-19 15:49:52 +0200
Seen: 417 times
Last updated: Aug 19 '10