aboutsummaryrefslogtreecommitdiff
path: root/src/python/install.sh
diff options
context:
space:
mode:
authorRichard Höchenberger <richard.hoechenberger@gmail.com>2023-10-18 02:45:04 +0300
committerGitHub <noreply@github.com>2023-10-18 02:45:04 +0300
commit1155a9906b3324617d3e491f2f01b0175e43b522 (patch)
tree219c7230001f3db7cf21a572553a97e5c4a59ef9 /src/python/install.sh
parent36a3604b90762307dddd1ff2b89387f84b6ec66c (diff)
* 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-xsrc/python/install.sh1
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"