diff --git a/scripts/download b/scripts/download index 1696def..ae4d665 100755 --- a/scripts/download +++ b/scripts/download @@ -16,7 +16,11 @@ curl -sL ${KERNEL_URL}${KERNEL_SIGN} > ${KERNEL_SIGN} # grab gregkh's stable signing key GPG_KEY="6092693E" +set +e gpg2 --keyserver hkp://keys.gnupg.net --recv-keys $GPG_KEY +[ $? -ne 0 ] && echo "gpg2 key sign download failed. trying second mirror" +set -e +gpg2 --keyserver hkp://ipv4.pool.sks-keyservers.net --recv-keys $GPG_KEY if ! xz -cd ${KERNEL_TAR} | gpg2 --verify ${KERNEL_SIGN} - ; then echo "ERROR: ${KERNEL_TAR} signing error" 1>&2