Thank you, just installed the new kernel for Julia 6.2. Ideally, however, I would like to have only one version, the most recent one. On JupyterLab and with BeakerX installed, the launcher is getting somewhat too crowded. Would it possible to get this by changing, for example, some configuration file, so that just a subset of all the kernels available would be shown?
On Sunday, 31 December 2017 18:24:27 UTC, [email protected] wrote: > > After you install Julia itself, you have to run a command to install the > kernel as documented here: > > https://github.com/JuliaLang/IJulia.jl/blob/master/README.md > > It installs a new kernel that includes the Julia version number, so you > can use multiple versions at the same time. > > > On Dec 31, 2017 9:56 AM, "Anton Skvorts" <[email protected] <javascript:>> > wrote: > >> Hi, >> >> I am mostly using Jupyter along with the Julia Kernel. What would be the >> preferred way to upgrade the Julia kernel to the new 0.6.2 version that I >> have just installed? >> >> 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] <javascript:>. >> To post to this group, send email to [email protected] >> <javascript:>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/jupyter/115bf2be-1a0c-4406-bf83-73d27e83df81%40googlegroups.com >> >> <https://groups.google.com/d/msgid/jupyter/115bf2be-1a0c-4406-bf83-73d27e83df81%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/256da9ec-4293-4853-a609-3c5ef7ce1de6%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
