我利用 Docker 容器来启动 JupyterLabs,并希望能够在启动时直接应用用户设置,而不是在每次容器启动时通过“高级设置编辑器”GUI 配置用户设置。
在查看以下拉取请求时,似乎确实应该存在此功能:https ://github.com/jupyterlab/jupyterlab/pull/2585
我在 JupyterLab 文档中没有找到任何引用此功能的内容,因此我们将不胜感激任何线索!
我利用 Docker 容器来启动 JupyterLabs,并希望能够在启动时直接应用用户设置,而不是在每次容器启动时通过“高级设置编辑器”GUI 配置用户设置。
在查看以下拉取请求时,似乎确实应该存在此功能:https ://github.com/jupyterlab/jupyterlab/pull/2585
我在 JupyterLab 文档中没有找到任何引用此功能的内容,因此我们将不胜感激任何线索!
运行jupyter-lab --generate-config
应该生成一个配置文件/home/<USER>/.jupyter/jupyter_notebook_config.py
此处记录了扩展的设置:
https://jupyterlab.readthedocs.io/en/stable/user/extensions.html#settings
简而言之,您可以通过运行提供和overrides.json
在<sys-prefix>/share/jupyter/lab/settings
哪里<sys-prefix>
可以找到jupyter lab path
.
文档中的示例显示overrides.json
如下:
{
"@jupyterlab/apputils-extension:themes": {
"theme": "JupyterLab Dark"
}
}
我找不到任何文档,但是~/.jupyter/lab/user-settings/@jupyterlab
如果您创建自定义笔记本配置(例如),则在您的文件夹中,您将在notebook-extension/tracker.jupyterlab-settings
.
您可以在此位置复制要用于每个容器的文件夹,然后当您启动 jupyter 实验室时,您应该会看到正确加载的自定义配置。
在/usr/local/share/jupyter/lab/schemas/@jupyterlab
中,您可以找到所有默认设置。
在 中notebook-extension/tracker.json
,您可以找到recordTiming
.
更改默认值会有所帮助。