William, thanks for this relevant (if not directly, as you say) point of 
view.

For CoCalc (run by a company), we have many different versions of Sage 
> installed for projects to use.  For Jupyter  notebooks, users just 
> explicitly select whatever version they want (via kernel selection), and it 
> stays selected unless they change it.  For the sage command line, we have a 
> "sage_select" command to set the default, or the user can type 
> "sage-[version]" to get a specific version.
>
> /ext/bin/sage_select <version>
> Available versions: develop, 8.2, 8.3, 8.4, 8.5, 8.6, 8.7, 8.8, 8.9, 9.0
>
> For Sage worksheets, they just use whatever is "sage" in the PATH, which 
> is a problem since there's a TON of python2 content used on cocalc, much 
> made by paying customers (with thousands of students), so we can't break 
> it.  We've been discussing how to move forward, slowly but surely, here 
> https://github.com/sagemathinc/cocalc/issues/4212/. It's a confusing and 
> tricky problem because Sage worksheets don't encode the version of Sage 
> they use (dumb design decision by me) -- Jupyter is much better in this 
> regard.   In any case, we don't have the luxury of break things for our 
> paying customers.
>

Exactly.  By the way, even 8.2 - impressive!
 

>  
>
>> I don't know if I want to ask the very capable, but very busy, Andrey N. 
>> to do that!  But once again, sage-devel will never know, because the users 
>> didn't pay anything, 
>>
>
> Users (at least UTMOST) does sometimes pay a little bit to cover some 
> hosting (thanks NSF!), but it doesn't cover what Andrey does, and I fully 
> support his decision. 
>

Of course, and I hope that was clear in what I said.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/1a5ab514-ae17-4da9-a67e-6e60668fd1d1%40googlegroups.com.

Reply via email to