JupyterLab用户设置文件

31

我利用Docker容器启动JupyterLabs,并希望能够在每次容器启动时直接应用用户设置,而不是通过“高级设置编辑器”GUI配置用户设置。

在审查以下拉取请求时,似乎应该存在此功能:https://github.com/jupyterlab/jupyterlab/pull/2585

我没有找到任何关于此功能的JupyterLab文档,因此非常感谢任何线索!

4个回答

32

运行 jupyter-lab --generate-config 命令会在 /home/<USER>/.jupyter/jupyter_notebook_config.py 生成一个配置文件。


4
上述命令中应使用jupyter lab ...而不是jupyter-lab ... - Jean Monet
1
@ZekeArneodo,也许这需要一个新的问题,您知道如何使用此文件将首选项导入到新的(不同的)jupyterlab中吗? - Jason Angel
8
这不应该是答案。配置与设置是不同的。 - Kermit
@JeanMonet,您提供的文档并未显示jupyter labjupyter-lab之间的区别。当用户运行jupyter lab ...时,应将其重定向到jupyter-lab,其中lab是一个子命令。 - 蔡宗容
1
@JeanMonet 这张图片 https://i.imgur.com/273Z9hS.png 显示了从 jupyter lab ...jupyter-lab ... 的重定向。 - 蔡宗容
显示剩余4条评论

20

扩展程序的设置在这里有所记录:

https://jupyterlab.readthedocs.io/en/stable/user/extensions.html#settings

简而言之,您可以在 <sys-prefix>/share/jupyter/lab/settings 中提供 overrides.json 文件,其中的 <sys-prefix> 可以通过运行 jupyter lab path 来找到。

文档中的示例显示了一个像这样的 overrides.json 文件:

{
  "@jupyterlab/apputils-extension:themes": {
    "theme": "JupyterLab Dark"
  }
}

2
字典条目的键名取自高级设置编辑器每个部分顶部的//注释标头。因此,例如,要更改笔记本部分的默认值,例如为所有用户打开记录时间,除非他们关闭它...{ "@jupyterlab/notebook-extension:tracker": { "recordTiming": true } } - Jeff Saxe

12

我找不到任何文档,但是在您的文件夹 ~/.jupyter/lab/user-settings/@jupyterlab 中,如果您创建了自定义笔记本配置(例如),则会在 notebook-extension/tracker.jupyterlab-settings 中创建一个文件。

您可以将要在每个容器中使用的文件夹复制到此位置,然后当您启动 jupyter lab 时,应该能够正确加载自定义配置。


1
jupyter lab path does show this path. But I'm not sure where to put custom settings for jupyter lab extensions. For example jupyterlab-execute-time - Sida Zhou
3
这正是我一直在寻找的,如何使ExecuteTime的要求(recordTiming)默认对所有用户开启,而不需要每个用户在高级设置中进行一次性更改。在我们的情况下,我们正在使用The Littlest JupyterJub,因此由@bsimpson53描述的文件的路径为/opt/tljh/user/share/jupyter/lab/settings/overrides.json。文件夹“settings”可能存在,也可能不存在,因此您可能需要使用mkdir创建它,然后在其中创建一个名为overrides.json的文件。{ "@jupyterlab/notebook-extension:tracker": { "recordTiming": true } } - Jeff Saxe
@JeffSaxe 我一直在想尽办法如何实现这个功能,真的让我抓狂。非常感谢你! - mginn

0
/usr/local/share/jupyter/lab/schemas/@jupyterlab 中,您可以找到所有默认设置。
而在 notebook-extension/tracker.json 中,您可以找到 recordTiming
更改默认值将有所帮助。

网页内容由stack overflow 提供, 点击上面的
可以查看英文原文,
原文链接