On 2020-07-12 09:34:55 UTC, Dima Pasechnik:
>
> Can we please switch to external jupyter - there is no reason
> for Sage to supply anything but the jupyter kernel...

This could mean one of the following:

When building:

[a] Make external Jupyter a prerequisite.

[b] If external Jupyter found, install Sage kernel for it,
    otherwise print information about how to install Jupyter
    and how to install Sage kernel for it later.

[c] If external Jupyter found, install Sage kernel for it,
    otherwise build it.

For binaries:

[z] Make external Jupyter a prerequisite for running Sage;
    at first start, install Sage kernel to external Jupyter.

[y] If external Jupyter found at first start, install Sage kernel for it,
    otherwise print information about how to install Jupyter
    and how to install Sage kernel for it later.

[x] Keep shipping Jupyter in binaries.

I don't think we want [a] or [z].
When building I could see [b] or [c].
For binaries I could see [y] or [x].

Some distributions make the Sage kernel an optional install
by providing several packages, like sagemath, sagemath-jupyter,
sagemath-documentation.

Nils has a good point: we need to think about what to do
if a user updates Sage or builds several copies of Sage.

Related:

- How to install sagemath kernel in Jupyter
  https://stackoverflow.com/q/39296020

- sage-devel: Installing sage as a kernel in the system-wide jupyter
  https://groups.google.com/d/topic/sage-devel/wH7_bru_Q0s/discussion

- Sage Windows: Include a Sage kernelspec that is
  compatible with Windows native Jupyter
  https://trac.sagemath.org/ticket/25850

- How to install SageMath kernel in Anaconda?
  https://stackoverflow.com/q/51300460

-- 
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/301447cd-012d-4247-abee-8bc11a9007f8o%40googlegroups.com.

Reply via email to