add optionnal proxy for gpg

This commit is contained in:
Emilien Mottet 2018-08-03 10:49:45 +02:00
parent 9f3e93df6c
commit b5ee2365a0
2 changed files with 12 additions and 2 deletions

View File

@ -17,8 +17,13 @@ SERVERS="ha.pool.sks-keyservers.net
pgp.mit.edu pgp.mit.edu
pgp.mit.edu:80" pgp.mit.edu:80"
OPTIONS=""
if [ -v http_proxy ];
then OPTIONS="--keyserver-options http-proxy=$http_proxy";
fi
for key in $KEYS; do for key in $KEYS; do
for server in $SERVERS; do for server in $SERVERS; do
gpg --keyserver "hkp://$server" --recv-keys "$key" && break gpg --keyserver "hkp://$server" $OPTIONS --recv-keys "$key" && break
done done
done done

View File

@ -20,8 +20,13 @@ SERVERS="ha.pool.sks-keyservers.net
pgp.mit.edu pgp.mit.edu
pgp.mit.edu:80" pgp.mit.edu:80"
OPTIONS=""
if [ -v http_proxy ];
then OPTIONS="--keyserver-options http-proxy=$http_proxy";
fi
for key in $KEYS; do for key in $KEYS; do
for server in $SERVERS; do for server in $SERVERS; do
gpg --keyserver "hkp://$server" --recv-keys "$key" && break gpg --keyserver "hkp://$server" $OPTIONS --recv-keys "$key" && break
done done
done done