Similar to the question in here, I am trying to start a Jupyter Lab server with some custom settings (e.g. keyboard shortcuts, Notebook settings (e.g. autoclose brackets), dark themes).
- How do I write this settings file?
- How do I specify this when starting up the jupyter lab server?
For e.g. I would like to set the following settings/shortcut when starting the jupyter lab server.
- Dark Theme as Default
- Keyboard Shortcut "Shift Backspace" for Run> Restart-and-run-all
So far, I created a file called overrides.json with the following contents
{
"theme": "JupyterLab Dark"
}
"shortcuts": [
{
"command": "runmenu:restart-and-run-all",
"keys": [
"Shift Backspace"
],
"selector": "[data-jp-code-runner]",
"title": "Restart Kernel and Run All",
"category": "Run Menu"
},
Then I started the jupyter lab server with
jupyter lab --ip=0.0.0.0 --port=8888 --allow-root --no-browser --notebook-dir=/workspace --config=/workspace/overrides.json
This did not change anything when the new server started.