Use MIT GPG keyserver.

2018-02-20 03:03:38 +01:00 · 2018-02-20 03:03:38 +01:00 · 488ee91028
parent 87df50378c
commit 488ee91028
1 changed files with 1 additions and 1 deletions
--- a/home/bin/update-profile
+++ b/home/bin/update-profile
@ -43,7 +43,7 @@ fi
 			; do
 			if ! gpg --list-keys "${key}" >/dev/null 2>&1; then
 				# key does not exist yet
-				gpg --recv-keys "${key}"
+				gpg --keyserver pgp.mit.edu --recv-keys "${key}"
 			fi
 		done