The kernel is never told that it has been started by a notebook (indeed, a kernel can have a console and notebook connected to it at the same time), so there isn't any information that can be reliably interrogated to determine that the kernel is attached to a notebook (or may be in the future).
-Min On Sun, Nov 18, 2018 at 8:42 PM Matthias Geier <[email protected]> wrote: > Dear list. > > I would like to specify some default settings for InlineBackend on my > system. > > It works fine when I put the settings in the file > > ~/.ipython/profile_default/ipython_kernel_config.py > > However, I would like the settings only to apply to (kernels started > by) the Notebook app (and eventually JupyterLab), but not to > qtconsole. > > I've read somewhere about a file named ipython_notebook_config.py, but > when I use such a file in the profile directory, it doesn't seem to > have an effect. > > I've also tried ~/.jupyter/jupyter_notebook_config.py, but it didn't > seem to work, either. > > The reason for the separate setting is that the default "figure.dpi" > of 72 is only correct for qtconsole, but the notebook needs a value of > 96. > > cheers, > Matthias > > -- > 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/CAFesC-esZ38apF86i9xiKb_MM9xDbvNSaJvmo%3DAjknpUOu5xbA%40mail.gmail.com > . > 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/CAHNn8BWBF%3DpfrUBzKs55YYobb3De%2BSqFxNz%2B0jq1pLfG8oeQ2A%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
