The JS files aren't loaded directly, rather they're bundled into a big file called main.min.js. There's information on how to rebuild that here: http://jupyter-notebook.readthedocs.io/en/stable/contributing.html#setting-up-a-development-environment
If you can see what you need to do, you're free to change any of the code in Jupyter. But if something's going wrong, it might be best to file an issue and try to work out a fix that we can incorporate into the project - that way it's also solved for anyone else with the same problem. On 3 April 2018 at 21:39, <[email protected]> wrote: > Hi, > > I would like to replace (or modify) this kernel.js file: > https://github.com/jupyter/notebook/blob/master/notebook/static/services/ > kernels/kernel.js > > I want to do this because restarting or switching my kernel within a > notebook sets up an infinite loop of the websocket trying to connect > failing and retrying. I want to modify the kernel.js as a workaround so > that it just reloading the page after killing the session and creating a > new session. > > *Is there a way for me to do modify the kernel.js to do that? * > > I know that you can define a kernel.js per kernel, but I don't think that > will work in my case, as I believe the custom kernel.js runs after the > kernel.js linked above, so we'd be stuck there and the custom kernel.js > would never run. (please correct me if I'm wrong in that assumption) > > Thank you! > > -- > 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/45db1825-1282-413c-814b-638da00408e6%40googlegroups.com > <https://groups.google.com/d/msgid/jupyter/45db1825-1282-413c-814b-638da00408e6%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/CAOvn4qjoOrEy8FnThoWOpkL13-Vs3saXL8F%3DjJJyG%3D%2BSu%2BcKOA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
