jupyter / jupyter/notebook

How do I export and import keyboard shortcut ??

Open
#4,628 1 comment 2 reactions 0 assignees View on GitHub
Dominant language
Jupyter Notebook
Stars
13.3k
Forks
5.8k
Avg merge
6d 11h
Merged PRs (30d)
7

Description

I don't see there is an entry for export and import .

Because I am using jupyter spark docker image now , usually need start a fresh new container . It is really really very inconvenient to set keyboard shortcut every time .

I found https://jupyter-notebook.readthedocs.io/en/stable/examples/Notebook/Custom%20Keyboard%20Shortcuts.html .
But how can I set shortcut in a config file so that I can build a docker image which have the setting by default ?

I have checked all `notebook.json` files on my PC, none of them contained shortcut settings .

Found unstable method : https://jupyter-notebook.readthedocs.io/en/stable/extending/keymaps.html

There is also a method about modifying `custom.js` in https://stackoverflow.com/a/32159304/1637673 , but the syntax seems different with current one.

Contributor guide

Open the contributing guide

Research direction

Start by reviewing the linked Custom Keyboard Shortcuts and keymaps documentation, then inspect how shortcut settings relate to notebook.json and custom.js in a Docker-based Jupyter Notebook setup. Done should mean there is a documented, supported way to preserve or import keyboard shortcuts when building or starting a fresh container.

Written by the indexing model from the issue text.

Assessment

Tech stack
docker, jupyter-notebook
Domain
devops, frontend
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.