On 2012-03-09 06:18, Keshav Kini wrote: > - Make `sage -b` also run `sage --python devel/sagenb/setup.py develop`, > copy relevant files from devel/sagebin to local/bin/ , and copy > relevant files from devel/sageext/ to... somewhere, perhaps share/sage/ ? Thereby complicating the development process of SCRIPTS and EXTCODE for no good reason. Moreover, what if I want to hack the very script that does "sage -b"?
-- 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
