Enable hub-extension

jupyterlab · May 28, 2021 · 8c82a62 · 8c82a62
1 parent b28c91c
commit 8c82a62
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/app/index.js b/app/index.js
@@ -125,7 +125,9 @@ async function main() {
     // so new terminals can be create from the menu
     require('@jupyterlab/terminal-extension'),
     require('@jupyterlab/theme-light-extension'),
-    require('@jupyterlab/theme-dark-extension')
+    require('@jupyterlab/theme-dark-extension'),
+    // Add the "Hub Control Panel" menu option when running in JupyterHub
+    require('@jupyterlab/hub-extension')
   ];
 
   // The motivation here is to only load a specific set of plugins dependending on

diff --git a/app/package.json b/app/package.json
@@ -34,6 +34,7 @@
     "@jupyterlab/filebrowser-extension": "~3.1.0-alpha.8",
     "@jupyterlab/fileeditor": "~3.1.0-alpha.8",
     "@jupyterlab/fileeditor-extension": "~3.1.0-alpha.8",
+    "@jupyterlab/hub-extension": "~3.1.0-alpha.8",
     "@jupyterlab/javascript-extension": "~3.1.0-alpha.8",
     "@jupyterlab/json-extension": "~3.1.0-alpha.8",
     "@jupyterlab/mainmenu": "~3.1.0-alpha.8",