diff options
| author | JP Ungaretti <19893438+jungaretti@users.noreply.github.com> | 2022-11-14 22:46:13 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-14 22:46:13 +0300 |
| commit | e00724a0c6d4c4f8fab166e065d2b00c7357514b (patch) | |
| tree | 05820a2053b549b73b46f374d64709f0599a5540 /src/python | |
| parent | 17580ee22f38b3a16e6531a8139629fd2fd8234a (diff) | |
Add git extension for JupyterLab to Python feature (#286)
* Add git extension
* Bump version
Diffstat (limited to 'src/python')
| -rw-r--r-- | src/python/devcontainer-feature.json | 2 | ||||
| -rwxr-xr-x | src/python/install.sh | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/python/devcontainer-feature.json b/src/python/devcontainer-feature.json index d6fa9bc..c1bcdc6 100644 --- a/src/python/devcontainer-feature.json +++ b/src/python/devcontainer-feature.json @@ -1,6 +1,6 @@ { "id": "python", - "version": "1.0.12", + "version": "1.0.13", "name": "Python", "documentationURL": "https://github.com/devcontainers/features/tree/main/src/python", "description": "Installs the provided version of Python, as well as PIPX, and other common Python utilities. JupyterLab is conditionally installed with the python feature. Note: May require source code compilation.", diff --git a/src/python/install.sh b/src/python/install.sh index e54387e..93d9cce 100755 --- a/src/python/install.sh +++ b/src/python/install.sh @@ -465,6 +465,7 @@ fi # Install JupyterLab if needed if [ "${INSTALL_JUPYTERLAB}" = "true" ]; then install_user_package jupyterlab + install_user_package jupyterlab-git # Configure JupyterLab if needed if [ -n "${CONFIGURE_JUPYTERLAB_ALLOW_ORIGIN}" ]; then |