It sounds like basically you just want, when opening a notebook, for the kernel to only be launched when you execute the first cell, instead of launching the kernel automatically when the notebook opens? We discussed this when implementing JupyterLab, but decided to stay with the behavior from classic notebook. However, we've been discussing recently changing the behavior in JupyterLab to not launch the kernel when a notebook starts up, and waiting until the first time a cell is executed.
Jason On Tue, Apr 30, 2019 at 10:15 AM Song Liu <[email protected]> wrote: > Also, about the separation looks like a direction in the community, but > there are not some progress for a long time. > > and I see there are two jupyter server: > > - jupyter/jupyter_server > - jupyterlab/jupyterlab_server > > I feel that the refactor want to be done under the new group "jupyterlab", > but jupyterlab is still using something from old group "jupyter". It would > confuse if we want to contribute something. > > Thanks, > Song > > -- > You received this message because you are subscribed to the Google Groups > "Project Jupyter" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jupyter/8a8db447-6ec2-4a82-889e-091de9996b35%40googlegroups.com > <https://groups.google.com/d/msgid/jupyter/8a8db447-6ec2-4a82-889e-091de9996b35%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Project Jupyter" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/CAPDWZHxOD2bBj4Q0WmpoXtSK_2mBoueZtiN6Tm5hPawMrhJCoA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
