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 /test/python/install_additional_jupyterlab.sh | |
| parent | 17580ee22f38b3a16e6531a8139629fd2fd8234a (diff) | |
Add git extension for JupyterLab to Python feature (#286)
* Add git extension
* Bump version
Diffstat (limited to 'test/python/install_additional_jupyterlab.sh')
| -rwxr-xr-x | test/python/install_additional_jupyterlab.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/python/install_additional_jupyterlab.sh b/test/python/install_additional_jupyterlab.sh index d48bb46..a5658f0 100755 --- a/test/python/install_additional_jupyterlab.sh +++ b/test/python/install_additional_jupyterlab.sh @@ -16,6 +16,9 @@ check "version" jupyter lab --version packages="$(python3 -m pip list)" check "location" grep jupyter <<< "$packages" +# Check for git extension +check "jupyterlab-git" grep jupyterlab-git <<< "$packages" + # Check for correct JupyterLab configuration check "config" grep ".*.allow_origin = '*'" /home/vscode/.jupyter/jupyter_server_config.py |