gnupg/gpg.conf: Ignore keyserver preferences on public keys.

diff --git a/gnupg/gpg.conf b/gnupg/gpg.conf
index 57839ccf1b0396e2dc347d24e969fb311433204c..2cbec146950ffaa25a7bad98e7af1159f8e2abe2 100644 (file)
--- a/gnupg/gpg.conf
+++ b/gnupg/gpg.conf
@@ -68,6 +68,11 @@ s2k-digest-algo SHA512
 # Use the given keyserver.
 keyserver hkp://pool.sks-keyservers.net
 
+# Don't use the preferred keyserver of the key, but our keyserver pool
+# instead. This way we won't use any broken keyservers like pgp.mit.edu
+# specified by the key.
+keyserver-options no-honor-keyserver-url
+
 
 # MY KEYS