From 488ee91028123a9a12d7adb7e19065c260f48001 Mon Sep 17 00:00:00 2001
From: Carl Kittelberger <icedream@icedream.pw>
Date: Tue, 20 Feb 2018 03:03:38 +0100
Subject: [PATCH] Use MIT GPG keyserver.

---
 home/bin/update-profile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/home/bin/update-profile b/home/bin/update-profile
index 42b4e8c..1528645 100755
--- 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