From 1155a9906b3324617d3e491f2f01b0175e43b522 Mon Sep 17 00:00:00 2001 From: Richard Höchenberger Date: Wed, 18 Oct 2023 01:45:04 +0200 Subject: Try connecting to Ubuntu keyserver on port 80 if default HKP port fails (#722) * Try Ubuntu keyserver on port 80 if default HKP port fails Closes #719 Closes #717 * Bump feature versions --------- Co-authored-by: Samruddhi Khandale --- src/github-cli/devcontainer-feature.json | 2 +- src/github-cli/install.sh | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) (limited to 'src/github-cli') diff --git a/src/github-cli/devcontainer-feature.json b/src/github-cli/devcontainer-feature.json index 24ef980..c47f4ac 100644 --- a/src/github-cli/devcontainer-feature.json +++ b/src/github-cli/devcontainer-feature.json @@ -1,6 +1,6 @@ { "id": "github-cli", - "version": "1.0.10", + "version": "1.0.11", "name": "GitHub CLI", "documentationURL": "https://github.com/devcontainers/features/tree/main/src/github-cli", "description": "Installs the GitHub CLI. Auto-detects latest version and installs needed dependencies.", diff --git a/src/github-cli/install.sh b/src/github-cli/install.sh index c1dd692..2cdc0a6 100755 --- a/src/github-cli/install.sh +++ b/src/github-cli/install.sh @@ -12,6 +12,7 @@ INSTALL_DIRECTLY_FROM_GITHUB_RELEASE=${INSTALLDIRECTLYFROMGITHUBRELEASE:-"true"} GITHUB_CLI_ARCHIVE_GPG_KEY=23F3D4EA75716059 GPG_KEY_SERVERS="keyserver hkp://keyserver.ubuntu.com +keyserver hkp://keyserver.ubuntu.com:80 keyserver hkps://keys.openpgp.org keyserver hkp://keyserver.pgp.com" -- cgit v1.2.3