On 2012-01-27 11:23, Keshav Kini wrote:
> We could bake into $SAGE_ROOT/sage (a shell script) the functionality to
> launch anything someone with an unbuilt copy of Sage would need (such as
> release management utilities or whatever you have in mind), which should
> be a pretty small subset of Sage's full functionality (right?). And then
> $SAGE_LOCAL/sage-sage can be a Python script. Just a thought.

Note that #11073 moved $SAGE_LOCAL/bin/sage-sage to
$SAGE_ROOT/spkg/bin/sage, such that it is available right after
downloading Sage, without needing to install sage_scripts.

-- 
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

Reply via email to