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/install.sh | |
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/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 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" |