[IPython-dev] Discovering kernels/profiles

[Thomas Kluyver]

On 10 November 2013 17:31, Stéfan van der Walt <stefan at sun.ac.za> wrote:

> It might also be good to expose an API to dynamically add kernels after
> startup (or at least keep that possibility in mind, so that the file
> approach doesn't lead to a design that favors configuring everything
> up-front).
>

We can certainly keep it in mind, but I imagine installing a kernel is
something people will do relatively rarely. So it may be that you have to
manually trigger a rescan of the kernel definition files in order to see
new kernel types after launching the server. Depending on how expensive
that is, it could be triggered by reloading the dashboard, or it could be a
separate handler. To do it totally dynamically, you'd need some kind of
interprocess communication running from installers, and that sounds like a
bad idea.

Thomas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/ipython-dev/attachments/20131110/6f019b4e/attachment.html>