diff options
| author | Josh Spicer <josh@joshspicer.com> | 2022-05-13 03:07:38 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-13 03:07:38 +0300 |
| commit | 1620def8a910d5c3af938708c98a361d0603b5bc (patch) | |
| tree | 1d930b05987cc024fecf60aeb71c3ffe39ec8e3c /src/jupyterlab/feature.json | |
| parent | 5332b952adf7e31a744bba297b5232a7000de58a (diff) | |
| parent | 73e20e52a2d48d915036007ea84db994a01df561 (diff) | |
Merge branch 'main' of https://github.com/devcontainers/features
Diffstat (limited to 'src/jupyterlab/feature.json')
| -rw-r--r-- | src/jupyterlab/feature.json | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/jupyterlab/feature.json b/src/jupyterlab/feature.json index e080339..86010c3 100644 --- a/src/jupyterlab/feature.json +++ b/src/jupyterlab/feature.json @@ -7,6 +7,12 @@ "proposals": ["latest", "3.6.2"], "default": "latest", "description": "Select or enter a jupyterlab version." + }, + "pythonBinary": { + "type": "string", + "proposals": ["python", "/usr/local/python/bin/python"], + "default": "python", + "description": "Select or enter the python binary path." } }, "extensions": [ |