diff options
Diffstat (limited to 'src/share/mh/extend_key')
-rw-r--r-- | src/share/mh/extend_key | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/src/share/mh/extend_key b/src/share/mh/extend_key deleted file mode 100644 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 - -} |