From 3e9af5f2082cf78e77528a49e8cc574195afb8e2 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <rekado@elephly.net>
Date: Tue, 7 May 2024 22:26:32 +0200
Subject: [PATCH] gnu: Add python-jupyter-server-terminals.

* gnu/packages/jupyter.scm (python-jupyter-server-terminals): New variable.

Change-Id: I83445e6ac40e21e6e284f1764090f113f56921bf
---
 gnu/packages/jupyter.scm | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/gnu/packages/jupyter.scm b/gnu/packages/jupyter.scm
index b8f416117dd4eebea384e228da93f3c582ea88e3..71dea7021e0fc00228aaceb762b9f851ef0c2863 100644
--- a/gnu/packages/jupyter.scm
+++ b/gnu/packages/jupyter.scm
@@ -576,6 +576,29 @@ JavaScript build steps.")
 endpoints—to Jupyter web applications.")
     (license license:expat)))
 
+(define-public python-jupyter-server-terminals
+  (package
+    (name "python-jupyter-server-terminals")
+    (version "0.5.3")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "jupyter_server_terminals" version))
+       (sha256
+        (base32 "0sajiadhwncrr0inzzkrs7l1xc6jmw9b5zfw1v79l3i2cx8jkq2s"))))
+    (build-system pyproject-build-system)
+    ;; The tests require python-jupyter-server, but python-jupyter-server
+    ;; needs this package.
+    (arguments (list #:tests? #false))
+    (propagated-inputs (list python-terminado))
+    (native-inputs
+     (list python-hatchling))
+    (home-page "https://pypi.org/project/jupyter-server-terminals/")
+    (synopsis "Jupyter Server extension providing terminals")
+    (description
+     "This package provides a Jupyter Server extension providing terminals.")
+    (license license:bsd-3)))
+
 (define-public python-jupyterlab-widgets
   (package
     (name "python-jupyterlab-widgets")