From 2a6aa07fc571a07e5c7465b0d909ddaebc926b39 Mon Sep 17 00:00:00 2001 From: Carl Kittelberger Date: Sat, 9 Oct 2021 23:02:07 +0200 Subject: [PATCH] Force GPG key download from keyserver.ubuntu.com. --- home/dotfiles/local/bin/update-profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home/dotfiles/local/bin/update-profile b/home/dotfiles/local/bin/update-profile index 97d989f..82a5230 100755 --- 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