Disable jupyterlab's terminal-manager extension (#57)

ianthomas23 · web-flow · commit 9b204be43053 · 2025-06-10T07:52:38.000+01:00
diff --git a/README.md b/README.md
@@ -35,6 +35,7 @@ After installing `jupyterlite-core` and `jupyterlite-terminal`, create a `jupyte
 {
   "jupyter-lite-schema-version": 0,
   "jupyter-config-data": {
+    "disabledExtensions": ["@jupyterlab/services-extension:terminal-manager"],
     "terminalsAvailable": true
   }
 }
diff --git a/deploy/jupyter-lite.json b/deploy/jupyter-lite.json
@@ -1,6 +1,7 @@
 {
   "jupyter-lite-schema-version": 0,
   "jupyter-config-data": {
+    "disabledExtensions": ["@jupyterlab/services-extension:terminal-manager"],
     "terminalsAvailable": true
   }
 }
diff --git a/ui-tests/jupyter-lite.json b/ui-tests/jupyter-lite.json
@@ -2,6 +2,7 @@
   "jupyter-lite-schema-version": 0,
   "jupyter-config-data": {
     "appName": "JupyterLite terminal UI Tests",
+    "disabledExtensions": ["@jupyterlab/services-extension:terminal-manager"],
     "exposeAppInBrowser": true,
     "terminalsAvailable": true
   }

Original file line number	Diff line number	Diff line change
@@ -35,6 +35,7 @@ After installing `jupyterlite-core` and `jupyterlite-terminal`, create a `jupyte
`35`	`35`	`{`
`36`	`36`	`"jupyter-lite-schema-version": 0,`
`37`	`37`	`"jupyter-config-data": {`
	`38`	`+ "disabledExtensions": ["@jupyterlab/services-extension:terminal-manager"],`
`38`	`39`	`"terminalsAvailable": true`
`39`	`40`	`}`
`40`	`41`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`"jupyter-lite-schema-version": 0,`
`3`	`3`	`"jupyter-config-data": {`
	`4`	`+ "disabledExtensions": ["@jupyterlab/services-extension:terminal-manager"],`
`4`	`5`	`"terminalsAvailable": true`
`5`	`6`	`}`
`6`	`7`	`}`
Original file line number	Diff line number	Diff line change
`@@ -2,6 +2,7 @@`
`2`	`2`	`"jupyter-lite-schema-version": 0,`
`3`	`3`	`"jupyter-config-data": {`
`4`	`4`	`"appName": "JupyterLite terminal UI Tests",`
	`5`	`+ "disabledExtensions": ["@jupyterlab/services-extension:terminal-manager"],`
`5`	`6`	`"exposeAppInBrowser": true,`
`6`	`7`	`"terminalsAvailable": true`
`7`	`8`	`}`