diff options
| author | Richard Höchenberger <richard.hoechenberger@gmail.com> | 2023-10-18 02:45:04 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-18 02:45:04 +0300 |
| commit | 1155a9906b3324617d3e491f2f01b0175e43b522 (patch) | |
| tree | 219c7230001f3db7cf21a572553a97e5c4a59ef9 /src/python | |
| parent | 36a3604b90762307dddd1ff2b89387f84b6ec66c (diff) | |
Try connecting to Ubuntu keyserver on port 80 if default HKP port fails (#722)feature_ruby_1.1.2feature_python_1.3.1feature_powershell_1.1.1feature_kubectl-helm-minikube_1.1.5feature_github-cli_1.0.11feature_git_1.1.6feature_git-lfs_1.1.1
* Try Ubuntu keyserver on port 80 if default HKP port fails
Closes #719
Closes #717
* Bump feature versions
---------
Co-authored-by: Samruddhi Khandale <skhandale@microsoft.com>
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 bbc78bb..7ebdad3 100644 --- a/src/python/devcontainer-feature.json +++ b/src/python/devcontainer-feature.json @@ -1,6 +1,6 @@ { "id": "python", - "version": "1.3.0", + "version": "1.3.1", "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 09727a8..e6eefd0 100755 --- a/src/python/install.sh +++ b/src/python/install.sh @@ -29,6 +29,7 @@ ADDITIONAL_VERSIONS="${ADDITIONALVERSIONS:-""}" DEFAULT_UTILS=("pylint" "flake8" "autopep8" "black" "yapf" "mypy" "pydocstyle" "pycodestyle" "bandit" "pipenv" "virtualenv" "pytest") PYTHON_SOURCE_GPG_KEYS="64E628F8D684696D B26995E310250568 2D347EA6AA65421D FB9921286F5E1540 3A5CA953F73C700D 04C367C218ADD4FF 0EDDC5F26A45C816 6AF053F07D9DC8D2 C9BE28DEE6DF025C 126EB563A74B06BF D9866941EA5BBD71 ED9D77D5 A821E680E5FA6305" GPG_KEY_SERVERS="keyserver hkp://keyserver.ubuntu.com +keyserver hkp://keyserver.ubuntu.com:80 keyserver hkps://keys.openpgp.org keyserver hkp://keyserver.pgp.com" |