WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Commit 0aee955

Browse files
committed
Fix BOOTSTRAP_IMG signing key download
Fixes #133
1 parent 6e8cee9 commit 0aee955

File tree

1 file changed

+7
-5
lines changed

1 file changed

+7
-5
lines changed

repro.in

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -67,17 +67,19 @@ function check_root() {
6767

6868
# Use a private gpg keyring
6969
function gpg() {
70-
command gpg --homedir="$BUILDDIRECTORY/_gnupg" "$@"
70+
command gpg --homedir="$BUILDDIRECTORY/_gnupg" "$@"
7171
}
7272

7373
function init_gnupg() {
7474
mkdir -p "$BUILDDIRECTORY/"
7575
mkdir -p --mode 700 "$BUILDDIRECTORY/_gnupg"
7676

77-
# ensure signing key is available
78-
# We try WKD first, then fallback to keyservers.
79-
# This works on debian./
80-
gpg --keyserver=p80.pool.sks-keyservers.net --auto-key-locate wkd,keyserver --locate-keys [email protected]
77+
# Ensure signing key is available
78+
# This works on debian
79+
KEYID=3E80CA1A8B89F69CBA57D98A76A5EF9054449A5C
80+
if [ -z "$(gpg --export "$KEYID" 2>/dev/null)" ]; then
81+
gpg --keyserver=keys.openpgp.org --recv-keys "$KEYID"
82+
fi
8183
}
8284

8385
# Desc: Sets the appropriate colors for output

0 commit comments

Comments
 (0)