From b8ebb19ac9d6eecbe516f9db7c8776ad4b02f904 Mon Sep 17 00:00:00 2001
From: alterNERDtive <nerd@alterNERD.tv>
Date: Tue, 19 Jul 2022 13:56:06 +0200
Subject: [PATCH] reimplemented `send`

---
 gpgtool              | 24 +++++++++++++++---------
 gpgtool.example.conf |  3 +++
 2 files changed, 18 insertions(+), 9 deletions(-)

diff --git a/gpgtool b/gpgtool
index 7664995..62a3948 100755
--- a/gpgtool
+++ b/gpgtool
@@ -186,6 +186,21 @@ closeall () {
   done
 }
 
+# Sends keys to key servers.
+send () {
+  zparseopts -D -E -- -keyserver=servers:
+
+  [[ -z "${servers}" ]] && server=GPGTOOLKEYSERVERS
+
+  for id in $@
+  do
+    for url in ${servers}
+    do
+      gpg --homedir "${tempdir}/gpghome" --send-keys --keyserver ${url} ${id}
+    done
+  done
+}
+
 # Prints usage information.
 usage () {
   echo FIXXME
@@ -272,12 +287,3 @@ extend () {
   send ${id}
   close ${id}
 }
-
-# gpgtools send keyid [keyid …]
-send () {
-  for id in $@
-  do
-    gpg --send-keys --keyserver hkps://keys.openpgp.org ${id}
-    gpg --send-keys --keyserver hkps://keyserver.ubuntu.com ${id}
-  done
-}
diff --git a/gpgtool.example.conf b/gpgtool.example.conf
index d569ee9..ad65213 100644
--- a/gpgtool.example.conf
+++ b/gpgtool.example.conf
@@ -7,3 +7,6 @@ GPGTOOLKEYPATH=/path/to/key/directory/
 # Path to the device that holds the key directory, e.g. a USB flash drive.
 # Can be set with `-d` `--device`
 GPGTOOLKEYDEV=/path/to/device
+
+# Default key severs to send keys to. Optional.
+GPGTOOLKEYSERVERS=("hkps://keys.openpgp.org" "hkps://keyserver.ubuntu.com")