Force GPG key download from keyserver.ubuntu.com.

2021-10-09 23:02:07 +02:00 · 2021-10-09 23:02:07 +02:00 · 2a6aa07fc5
parent c2394d53b6
commit 2a6aa07fc5
1 changed files with 1 additions and 1 deletions
--- a/home/dotfiles/local/bin/update-profile
+++ b/home/dotfiles/local/bin/update-profile
@ -52,7 +52,7 @@ fi
 			; do
 			if ! gpg --list-keys "${key}" >/dev/null 2>&1; then
 				# key does not exist yet
-				gpg --recv-keys "${key}"
+				gpg --keyserver keyserver.ubuntu.com --recv-keys "${key}"
 			fi
 		done