Hi Andreas, You can whitelist some of the installed kernels by configuring KernelSpecManager.whitelist , but this will completely disable any that aren't on the whitelist. I don't think there's currently any way to highlight certain kernels in the UI while still making others available. There's no reason we couldn't add that, though.
Thomas On 15 May 2017 at 11:46, Andreas Hilboll <[email protected]> wrote: > Dear Jupyter experts, > > when on the Notebook interface I click on "New"; I see a dropdown-list > of all installed kernelspecs. Is there any way I can hide all > kernelspecs except for a list of "favorite" kernels? I'm thinking of > just seeing the 'favorite' kernels in the dropdown list, which should > also include a "More ..." entry, which again opens a sub-dropdown > listing all installed kernels. > > The motivation is that I would like to provide to our cluster users > (we're using Jupyterhub) frequent updates on default Python > environments, which would make the list of all installed kernelspecs > long. However, users should be able to still use older kernelspecs if > they really want to. > > I hope I made clear what I'm thinking of ... > > Sunny greetings, > Andreas. > > -- > 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/6ka86etn2r.fsf%40shaula.iup.uni-bremen.de. > 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/CAOvn4qhPnbuXn5%2BuMb976Ra%3Dx-PX8kM6T8D9o%3DHNro%3DMmfZfAQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
