@jupyter-notebook/terminal-extension 7.0.0-alpha.1

package/lib/index.d.ts

@@ -0,0 +1,6 @@
+import { JupyterFrontEndPlugin } from '@jupyterlab/application';
+/**
+ * Export the plugins as default.
+ */
+declare const plugins: JupyterFrontEndPlugin<any>[];
+export default plugins;

package/lib/index.js

@@ -0,0 +1,64 @@
+// Copyright (c) Jupyter Development Team.
+// Distributed under the terms of the Modified BSD License.
+import { IRouter } from '@jupyterlab/application';
+import { PageConfig } from '@jupyterlab/coreutils';
+import { ITerminalTracker } from '@jupyterlab/terminal';
+import { find } from '@lumino/algorithm';
+/**
+ * A plugin to open terminals in a new tab
+ */
+const opener = {
+    id: '@jupyter-notebook/terminal-extension:opener',
+    requires: [IRouter, ITerminalTracker],
+    autoStart: true,
+    activate: (app, router, tracker) => {
+        const { commands } = app;
+        const terminalPattern = new RegExp('/terminals/(.*)');
+        const command = 'router:terminal';
+        commands.addCommand(command, {
+            execute: (args) => {
+                const parsed = args;
+                const matches = parsed.path.match(terminalPattern);
+                if (!matches) {
+                    return;
+                }
+                const [, name] = matches;
+                if (!name) {
+                    return;
+                }
+                tracker.widgetAdded.connect((send, terminal) => {
+                    terminal.content.setOption('closeOnExit', false);
+                });
+                commands.execute('terminal:open', { name });
+            }
+        });
+        router.register({ command, pattern: terminalPattern });
+    }
+};
+/**
+ * Open terminals in a new tab.
+ */
+const redirect = {
+    id: '@jupyter-notebook/terminal-extension:redirect',
+    requires: [ITerminalTracker],
+    autoStart: true,
+    activate: (app, tracker) => {
+        const baseUrl = PageConfig.getBaseUrl();
+        tracker.widgetAdded.connect((send, terminal) => {
+            const widget = find(app.shell.widgets('main'), w => w.id === terminal.id);
+            if (widget) {
+                // bail if the terminal is already added to the main area
+                return;
+            }
+            const name = terminal.content.session.name;
+            window.open(`${baseUrl}terminals/${name}`, '_blank');
+            // dispose the widget since it is not used on this page
+            terminal.dispose();
+        });
+    }
+};
+/**
+ * Export the plugins as default.
+ */
+const plugins = [opener, redirect];
+export default plugins;

package/package.json

@@ -0,0 +1,58 @@
+{
+  "name": "@jupyter-notebook/terminal-extension",
+  "version": "7.0.0-alpha.1",
+  "description": "Jupyter Notebook - Terminal Extension",
+  "homepage": "https://github.com/jupyter/notebook",
+  "bugs": {
+    "url": "https://github.com/jupyter/notebook/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/jupyter/notebook.git"
+  },
+  "license": "BSD-3-Clause",
+  "author": "Project Jupyter",
+  "sideEffects": [
+    "style/**/*.css",
+    "style/index.js"
+  ],
+  "main": "lib/index.js",
+  "types": "lib/index.d.ts",
+  "style": "style/index.css",
+  "directories": {
+    "lib": "lib/"
+  },
+  "files": [
+    "lib/*.d.ts",
+    "lib/*.js.map",
+    "lib/*.js",
+    "schema/*.json",
+    "style/**/*.css",
+    "style/index.js"
+  ],
+  "scripts": {
+    "build": "tsc -b",
+    "build:prod": "tsc -b",
+    "clean": "rimraf lib && rimraf tsconfig.tsbuildinfo",
+    "docs": "typedoc src",
+    "prepublishOnly": "npm run build",
+    "watch": "tsc -b --watch"
+  },
+  "dependencies": {
+    "@jupyterlab/application": "^4.0.0-alpha.5",
+    "@jupyterlab/coreutils": "^6.0.0-alpha.5",
+    "@jupyterlab/terminal": "^4.0.0-alpha.5",
+    "@lumino/algorithm": "^1.9.1"
+  },
+  "devDependencies": {
+    "rimraf": "~3.0.0",
+    "typescript": "~4.1.3"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "jupyterlab": {
+    "extension": true
+  },
+  "styleModule": "style/index.js"
+}

package/style/index.css

@@ -0,0 +1 @@
+@import url('./base.css');

package/style/index.js

@@ -0,0 +1 @@
+import './base.css';