python310Packages.jupyter-server-fileid: init at 0.8.0

This commit is contained in:
Robert Schütz 2023-03-09 15:04:02 -08:00
parent 4a19b95af3
commit ae0d62bd50
2 changed files with 56 additions and 0 deletions

View File

@ -0,0 +1,54 @@
{ lib
, buildPythonPackage
, pythonOlder
, fetchFromGitHub
, hatchling
, jupyter-events
, jupyter-server
, pytest-jupyter
, pytestCheckHook
}:
buildPythonPackage rec {
pname = "jupyter-server-fileid";
version = "0.8.0";
disables = pythonOlder "3.7";
format = "pyproject";
src = fetchFromGitHub {
owner = "jupyter-server";
repo = "jupyter_server_fileid";
rev = "refs/tags/v${version}";
hash = "sha256-gJ+OM2b4JrdBObPnltqCWGK3e5p3K2XcoUohej3nDIM=";
};
nativeBuildInputs = [
hatchling
];
propagatedBuildInputs = [
jupyter-events
jupyter-server
];
pythonImportsCheck = [ "jupyter_server_fileid" ];
checkInputs = [
pytest-jupyter
pytestCheckHook
];
preCheck = ''
export HOME=$TEMPDIR
'';
meta = {
changelog = "https://github.com/jupyter-server/jupyter_server_fileid/blob/${src.rev}/CHANGELOG.md";
description = "An extension that maintains file IDs for documents in a running Jupyter Server";
homepage = "https://github.com/jupyter-server/jupyter_server_fileid";
license = lib.licenses.bsd3;
maintainers = with lib.maintainers; [ dotlambda ];
};
}

View File

@ -5095,6 +5095,8 @@ self: super: with self; {
jupyter-server = callPackage ../development/python-modules/jupyter-server { };
jupyter-server-fileid = callPackage ../development/python-modules/jupyter-server-fileid { };
jupyter-server-terminals = callPackage ../development/python-modules/jupyter-server-terminals { };
jupyter-ydoc = callPackage ../development/python-modules/jupyter-ydoc { };