When you launch JupyterLab it shows you the previously built application. Then, it runs checks in the background to see if it needs to be rebuilt, prompting you to do so if it detects changes.
Regards, Steve On Friday, August 24, 2018 at 2:30:36 PM UTC-5, Christian Schafmeister wrote: > > Hi, > > What is the best practice for building bleeding edge jupyterlab with > extensions? > > We are building a bleeding edge jupyterlab application that contains two > extensions (nglview and bqplot). > We have wholesale translated the Python code for these widgets into Common > Lisp and we need to guarantee that the Javascript code for these extensions > precisely matches the Common Lisp code and the Python code. > So we are installing the jupyter extensions from local source directories > using the code below. > jupyterlab comes up immediately and then it appears to build the > jupyterlab application again and again every time I hit the "Reload" button > on my browser reloading jupyterlab. > > Why is this? > > Is there any way to build the jupyterlab Javascript application once and > for all - before I start jupyterlab? > > > /opt/clasp/bin/jupyter-labextension install > @jupyter-widgets/[email protected] --no-build > # Don't rely on npm/yarn/whatever to install nglview widgets > /opt/clasp/bin/jupyter-labextension install > /opt/clasp/lib/quicklisp/local-projects/cl-nglview/js --no-build > # Don't rely on npm/yarn/whatever to install bqplot widgets > /opt/clasp/bin/jupyter-labextension install > /opt/clasp/lib/quicklisp/local-projects/cl-bqplot/js --no-build > /opt/clasp/bin/jupyter-lab build > > Christian Schafmeister, > Professor, Chemistry Department > Temple University > -- 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/4eac00d1-7244-48f4-a7e8-bc69bce67ddb%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
