derek-thomas HF staff commited on
Commit
e7a2014
1 Parent(s): 628e543

Adding vimrc?

Browse files
Files changed (1) hide show
  1. jupyterlab/on_startup.sh +14 -8
jupyterlab/on_startup.sh CHANGED
@@ -19,14 +19,20 @@ rm -rf /tmp/tgi-benchmark-notebooks
19
 
20
  # Add dark theme
21
  mkdir -p ~/.jupyter/lab/user-settings/@jupyterlab/apputils-extension/ && \
22
- echo '{ "theme":"JupyterLab Dark" }' > ~/.jupyter/lab/user-settings/@jupyterlab/apputils-extension/themes.jupyterlab-settings
23
-
24
- mkdir -p ~/.jupyter/lab/user-settings/@jupyterlab/apputils-extension &&
25
- echo '{
26
- "imap": [
27
- ["jk", "<Esc>"]
28
- ]
29
- }' > ~/.jupyter/lab/user-settings/@jupyterlab/apputils-extension/themes.jupyterlab-settings
 
 
 
 
 
 
30
 
31
 
32
  echo "All right on the HF site"
 
19
 
20
  # Add dark theme
21
  mkdir -p ~/.jupyter/lab/user-settings/@jupyterlab/apputils-extension/ && \
22
+ echo '{ "theme": "JupyterLab Dark" }' > ~/.jupyter/lab/user-settings/@jupyterlab/apputils-extension/themes.jupyterlab-settings
23
+
24
+ mkdir -p ~/.jupyter/lab/user-settings/@jupyterlab/codemirror-extension && \
25
+ echo '{
26
+ "keyMaps": {
27
+ "vim": true,
28
+ "keyMapConfig": {
29
+ "inoremap": [
30
+ ["jk", "<Esc>"]
31
+ ]
32
+ }
33
+ }
34
+ }' > ~/.jupyter/lab/user-settings/@jupyterlab/codemirror-extension/keymap.jupyterlab-settings
35
+
36
 
37
 
38
  echo "All right on the HF site"