I’m unable to set or change keyboard shortcuts using the overrides.json file (in the application settings directory {sys.prefix}/share/jupyter/lab/settings
).
My overrides.json file appears to work just fine for other settings (the theme or autosaveinterval for instance).
But there is no effect on the keyboard shortcuts. This has been reported before (see here).
I’m guessing this has something to do with the structure/nature of the shortcuts config file??
An example of the sort of overrides.json that has problems with keyboard shortcuts is below.
What doesn’t work in the overrides.json file does work in the user-settings, however. For my situation (containerised/kubernetes jupyterhub setup where I want people to start up with pre-configured jupyterlab instances), I don’t want to rely on user-settings (because home directories can get tricky on kubernetes)
{
"@jupyterlab/docmanager-extension:plugin":{
"autosaveInterval": 5
},
"@jupyterlab/apputils-extension:themes": {
"theme": "JupyterLab Dark"
},
"@jupyterlab/notebook-extension:tracker": {
"codeCellConfig": {
"autoClosingBrackets": false
}
},
"@jupyterlab/shortcuts-extension:shortcuts": {
"shortcuts": [
{
"command": "application:activate-next-tab",
"keys": [
"Ctrl Shift L"
],
"selector": "body"
}
]}
}