<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 10 November 2013 11:40, MinRK <span dir="ltr"><<a href="mailto:benjaminrk@gmail.com" target="_blank">benjaminrk@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="im"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">

<br>
But other things might need to change when you change kernels. Like  syntax highlighting,<br>
execute_on_complete_block, logo in the notebook, default code_mirror_theme.<br></blockquote><div><br></div></div><div>Yes, and we need to figure out how to address that without creating a profile for each,</div><div>because we need to be able to use multiple kernel types with one server instance,</div>



<div>which means one profile.</div><div></div></blockquote></div><br></div><div class="gmail_extra">Or possibly the server needs to take some of the settings from the notebook's profile (i.e. what we currently think of as the kernel's profile) when it displays a notebook.<br>

<br>Matthias<br>> Also I would be more in favor of a structure along :<br>
><br>
> .ipython/profiles_default/<br>>        - config_*.json<br>
>        - IJulia/<br>
>                -config.json<br>
>                -notebook-config.json<br><br></div><div class="gmail_extra">I don't much like this nested structure, or the idea of yet another layer of config files interacting.<br><br></div><div class="gmail_extra">

I suspect we need to think more clearly about the config system. The different things that you can configure fall into several categories:<br></div><div class="gmail_extra">- Settings that belong with the user, e.g. extra toolbar buttons, or syntax highlighting colours.<br>

</div><div class="gmail_extra">- Settings that belong with the notebook: which kernel to start, possibly style options (but how does this interact with the user's own style settings?)<br></div><div class="gmail_extra">

- Settings that belong with the kernel: how to start the kernel, syntax highlighting lexer, maybe the logo to display in the UI.<br></div><div class="gmail_extra">- User settings about the kernel: run this code on startup, etc.<br>

</div><div class="gmail_extra"><br></div><div class="gmail_extra">We need to work out which settings are in each category, where they should be stored, and how we should handle conflicts between them (e.g. if I have overridden the default style and the notebook also comes with a stylesheet, do we apply one or the other, or both?).<br>

<br></div><div class="gmail_extra">Thomas<br></div></div>