People are answering the question I intended to ask.  So far no-one
uses the branching mechanism.  Who knows if it still works....if it
doesn't someone should remove mention of it from the docs.

John

On 9 February 2012 15:53, Jason Grout <jason-s...@creativetrax.com> wrote:
> On 2/9/12 9:44 AM, Keshav Kini wrote:
>>
>> On Thu, Feb 9, 2012 at 23:30, Jason Grout<jason-s...@creativetrax.com>
>>  wrote:
>>>
>>> I use separate directories in devel/ to have multiple versions of the new
>>> sage notebook installed.  They're almost all git repositories, though :).
>>>  I
>>> don't know if that counts as a yes or no to your question.
>>
>>
>> IMO it's important to note that these directories and the symlink are
>> managed by you (afaik), and are not ingrained into Sage's concept of
>> what is there. This is in contrast to the Sage library, which actually
>> causes Sage to refuse to start up unless there is a symlink
>> $SAGE_ROOT/devel/sage pointing to a directory called
>> $SAGE_ROOT/devel/sage-foo (as I discovered when writing
>> https://github.com/sagemath/sagelib/blob/github-master/README.rst ).
>> So I think that counts as a "no", if the question is to be interpreted
>> as being about whether we should keep that "branch"-handling code in
>> the Sage scripts. Though of course I don't know whether John meant it
>> that way.
>
>
> You correctly interpreted my response, and I agree with your conclusions.  I
> haven't used the sage branch-handling code in years.
>
> Jason
>
>
>
>
> --
> 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

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