add settings for jupyter lab (#227)

* add settings for jupyter lab * rename settings for jupyterlab * ignore the jupyterlab settings * update
shunk031 · May 11, 2024 · e0f1498 · e0f1498
1 parent a718e58
commit e0f1498
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 0 deletions.
diff --git a/home/.chezmoitemplates/chezmoiignore.d/common b/home/.chezmoitemplates/chezmoiignore.d/common
@@ -1,2 +1,3 @@
 com.googlecode.iterm2.plist
+plugin.jupyterlab-settings
 .key.txt.age
diff --git a/.../jupyter/lab/user-settings/@jupyterlab/terminal-extension/plugin.jupyterlab-settings.json b/.../jupyter/lab/user-settings/@jupyterlab/terminal-extension/plugin.jupyterlab-settings.json
@@ -0,0 +1,13 @@
+{
+    "fontFamily": "Monaco",
+    "fontSize": 13,
+    "lineHeight": 1,
+    "theme": "dark",
+    "screenReaderMode": false,
+    "scrollback": 1000,
+    "shutdownOnClose": false,
+    "closeOnExit": true,
+    "pasteWithCtrlV": true,
+    "macOptionIsMeta": false,
+    "cursorBlink": true
+}
diff --git a/.../lab/user-settings/@jupyterlab/terminal-extension/symlink_plugin.jupyterlab-settings.tmpl b/.../lab/user-settings/@jupyterlab/terminal-extension/symlink_plugin.jupyterlab-settings.tmpl
@@ -0,0 +1 @@
+{{ .chezmoi.sourceDir }}/dot_config/jupyter/lab/user-settings/@jupyterlab/terminal-extension/plugin.jupyterlab-settings.json
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{{ .chezmoi.sourceDir }}/dot_config/jupyter/lab/user-settings/@jupyterlab/terminal-extension/plugin.jupyterlab-settings.json