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/git/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/git/install.sh')
| -rwxr-xr-x | src/git/install.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/git/install.sh b/src/git/install.sh index 7bfa490..67338b8 100755 --- a/src/git/install.sh +++ b/src/git/install.sh @@ -12,6 +12,7 @@ USE_PPA_IF_AVAILABLE=${PPA} GIT_CORE_PPA_ARCHIVE_GPG_KEY=E1DD270288B4E6030699E45FA1715D88E1DF1F24 GPG_KEY_SERVERS="keyserver hkp://keyserver.ubuntu.com +keyserver hkp://keyserver.ubuntu.com:80 keyserver hkps://keys.openpgp.org keyserver hkp://keyserver.pgp.com" |