Some rearragement/cleanup in the monkeysphere-host:

[monkeysphere.git] / src / share / mh / extend_key

diff --git a/src/share/mh/extend_key b/src/share/mh/extend_key
deleted file mode 100644 (file)
index 79ee267..0000000
--- a/src/share/mh/extend_key
+++ /dev/null
@@ -1,35 +0,0 @@
-# -*-shell-script-*-
-# This should be sourced by bash (though we welcome changes to make it POSIX sh compliant)
-
-# Monkeysphere host extend-key subcommand
-#
-# The monkeysphere scripts are written by:
-# Jameson Rollins <jrollins@finestructure.net>
-# Jamie McClelland <jm@mayfirst.org>
-# Daniel Kahn Gillmor <dkg@fifthhorseman.net>
-#
-# They are Copyright 2008-2009, and are all released under the GPL,
-# version 3 or later.
-
-# extend the lifetime of a host key:
-
-extend_key() {
-
-local fpr=$(fingerprint_host_key)
-local extendTo="$1"
-
-# get the new expiration date
-extendTo=$(get_gpg_expiration "$extendTo")
-
-gpg_host --quiet --command-fd 0 --edit-key "$fpr" <<EOF 
-expire
-$extendTo
-save
-EOF
-
-cat <<EOF | log info
-NOTE: Host key expiration date adjusted, but not yet published.
-Run '$PGRM publish-key' to publish the new expiration date.
-EOF
-
-}