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/install.sh | |
| parent | 17580ee22f38b3a16e6531a8139629fd2fd8234a (diff) | |
Add git extension for JupyterLab to Python feature (#286)
* Add git extension
* Bump version
Diffstat (limited to 'src/python/install.sh')
| -rwxr-xr-x | src/python/install.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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 |