diff options
| author | Jonathan Ringer <jonringer117@gmail.com> | 2020-11-29 14:48:37 -0800 |
|---|---|---|
| committer | Frederik Rietdijk <fridh@fridh.nl> | 2020-12-01 14:44:24 +0100 |
| commit | 4670a8f304faf49a4f62a87454df3c0858e5c46a (patch) | |
| tree | cf7694cec54f37193c250e1c177cc7c47e16401b | |
| parent | b59209334ae2eda4d2bf1848433e54dd14bdb8e3 (diff) | |
python3Packages.jupyterlab-pygments: init at 0.1.2
| -rw-r--r-- | pkgs/development/python-modules/jupyterlab-pygments/default.nix | 27 | ||||
| -rw-r--r-- | pkgs/top-level/python-packages.nix | 2 |
2 files changed, 29 insertions, 0 deletions
diff --git a/pkgs/development/python-modules/jupyterlab-pygments/default.nix b/pkgs/development/python-modules/jupyterlab-pygments/default.nix new file mode 100644 index 0000000000000..f3ea20842aa50 --- /dev/null +++ b/pkgs/development/python-modules/jupyterlab-pygments/default.nix @@ -0,0 +1,27 @@ +{ lib, buildPythonPackage, fetchFromGitHub, pygments }: + +buildPythonPackage rec { + pname = "jupyterlab_pygments"; + version = "0.1.2"; + + src = fetchFromGitHub { + owner = "jupyterlab"; + repo = pname; + rev = version; + sha256 = "02lv63qalw4x6xs70n2w2p3c2cnhk91sr961wlbi77xs0g8fcman"; + }; + + # no tests exist on upstream repo + doCheck = false; + + propagatedBuildInputs = [ pygments ]; + + pythonImportsCheck = [ "jupyterlab_pygments" ]; + + meta = with lib; { + description = "Jupyterlab syntax coloring theme for pygments"; + homepage = "https://github.com/jupyterlab/jupyterlab-pygments/"; + license = licenses.mit; + maintainers = with maintainers; [ jonringer ]; + }; +} diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix index 3a557fa20ba2a..a549b86df0735 100644 --- a/pkgs/top-level/python-packages.nix +++ b/pkgs/top-level/python-packages.nix @@ -3229,6 +3229,8 @@ in { jupyterlab_launcher = callPackage ../development/python-modules/jupyterlab_launcher { }; + jupyterlab-pygments = callPackage ../development/python-modules/jupyterlab-pygments { }; + jupyterlab_server = callPackage ../development/python-modules/jupyterlab_server { }; jupyter-repo2docker = callPackage ../development/python-modules/jupyter-repo2docker { pkgs-docker = pkgs.docker; }; |