Make sure we are more resilient to keyserver errors

This commit is contained in:
Cyryl Płotnicki 2019-03-18 13:56:43 +00:00
parent 8b45c4092d
commit 62501ffe63

View file

@ -157,11 +157,18 @@ else
GPG=gpg
fi
echo "Getting GPG keys.."
for key in \
409B6B1796C275462A1703113804BB82D39DC0E3 \
7D2BAF1CF37B13E2069D6956105BD0E739499BDB
; do \
$GPG --keyserver hkp://keys.gnupg.net --recv-keys "$key" || \
$GPG --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys "$key" || \
$GPG --keyserver hkp://ipv4.pool.sks-keyservers.net --recv-keys "$key" || \
$GPG --keyserver hkp://pgp.mit.edu:80 --recv-keys "$key" ; \
done
if [[ -z $NORUBY ]]; then
set +e
$GPG --keyserver hkp://keys.gnupg.net --recv-keys 409B6B1796C275462A1703113804BB82D39DC0E3
set -e
$GPG --keyserver hkp://keys.gnupg.net --recv-keys 409B6B1796C275462A1703113804BB82D39DC0E3
echo "Downloading RVM..."
$CURL https://get.rvm.io | bash
set +e