jupyter: respect JUPYTER_PATH

JUPYTER_PATH can be used to provide additional plugins for jupyter to
use. Currently, JUPYTER_PATH is being unconditionally overridden, so
extensions are not found, e.g:

```
$ JUPYTER_PATH="path to dir with labextensions/@jupyter-widgets" jupyter labextension list 2>&1 | grep widgets
```

Instead of setting JUPYTER_PATH, prepend to it, so JUPYTER_PATH will be
respected:

```
$ JUPYTER_PATH="path to dir with labextensions/@jupyter-widgets" jupyter labextension list 2>&1 | grep widgets
        @jupyter-widgets/jupyterlab-manager v5.0.13 enabled OK (python, jupyterlab_widgets)
```
This commit is contained in:
Matthew Kenigsberg 2024-09-10 13:50:08 -06:00
parent dcb6f84193
commit 83bd47a835
No known key found for this signature in database
GPG Key ID: B840146580C5F755

View File

@ -9,7 +9,7 @@ let
jupyterPath = (jupyter-kernel.create { inherit definitions; });
jupyter-notebook = (python3.buildEnv.override {
extraLibs = [ python3.pkgs.notebook ];
makeWrapperArgs = ["--set JUPYTER_PATH ${jupyterPath}"];
makeWrapperArgs = ["--prefix JUPYTER_PATH : ${jupyterPath}"];
}).overrideAttrs(oldAttrs: {
meta = oldAttrs.meta // { mainProgram = "jupyter-notebook"; };
});