Commit
•
628e543
1
Parent(s):
df46cd4
Adding jk
Browse files- jupyterlab/on_startup.sh +8 -0
jupyterlab/on_startup.sh
CHANGED
|
@@ -21,4 +21,12 @@ rm -rf /tmp/tgi-benchmark-notebooks
|
|
| 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 |
echo "All right on the HF site"
|
|
|
|
| 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"
|