JupyterLab 用户设置文件

JupyterLab User Settings File

我利用 Docker 容器来启动 JupyterLabs，并希望能够在启动时直接应用用户设置，而不是在每次容器启动时通过 "Advanced Settings Editor" GUI 配置用户设置。

在查看以下拉取请求时，似乎确实应该存在此功能：https://github.com/jupyterlab/jupyterlab/pull/2585

我没有在 JupyterLab 文档中找到任何引用此功能的内容，因此将不胜感激任何线索！

我找不到任何文档，但是在您的文件夹 ~/.jupyter/lab/user-settings/@jupyterlab 中，如果您创建自定义笔记本配置（例如），您将在 notebook-extension/tracker.jupyterlab-settings.[=12 中创建一个文件=]

您可以在此位置复制要用于每个容器的文件夹，然后当您启动 jupyter 实验室时，您应该会看到正确加载的自定义配置。

运行 jupyter-lab --generate-config 应该在 /home/<USER>/.jupyter/jupyter_notebook_config.py

中生成一个配置文件

此处记录了扩展设置：

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"
  }
}

在/usr/local/share/jupyter/lab/schemas/@jupyterlab中，您可以找到所有默认设置。

并且在 notebook-extension/tracker.json 中，您可以找到 recordTiming。

更改默认值会有帮助。