From 2425af162351f28ff442c9b1e29b187bdf4d9643 Mon Sep 17 00:00:00 2001
From: Jose Miguel Bataller <jose@pragmati.co>
Date: Mon, 14 Oct 2019 09:19:54 +0100
Subject: [PATCH] removed hardcoded public key server

---
 cheats/gpg.cheat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cheats/gpg.cheat b/cheats/gpg.cheat
index a313da5..15b15c4 100644
--- a/cheats/gpg.cheat
+++ b/cheats/gpg.cheat
@@ -10,7 +10,7 @@ gpg --gen-key
 gpg --list-keys
 
 # distribute public key to key server
-gpg --keyserver hkp://pool.sks-keyservers.net --send-keys <public-key>
+gpg --keyserver <key-server> --send-keys <public-key>
 
 # export public key
 gpg --output <filename.gpg> --export <email>