From 8c82a6217ad7c7f4a818ab28d3f4a387e1c78b4c Mon Sep 17 00:00:00 2001 From: Michael Barry Date: Fri, 28 May 2021 12:40:52 -0400 Subject: [PATCH] Enable hub-extension --- app/index.js | 4 +++- app/package.json | 1 + 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/app/index.js b/app/index.js index 5b23f556..71877c59 100644 --- 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 index b1bbca3b..b07047c7 100644 --- 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",