reimplemented send

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
-}

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")