src/share/mh/set_expire

   1 # -*-shell-script-*-
   2 # This should be sourced by bash (though we welcome changes to make it POSIX sh compliant)
   3
   4 # Monkeysphere host set-expire subcommand
   5 #
   6 # This is a function to set the expiration date of the monkeysphere
   7 # host key.
   8 #
   9 # The monkeysphere scripts are written by:
  10 # Jameson Rollins <jrollins@finestructure.net>
  11 # Jamie McClelland <jm@mayfirst.org>
  12 # Daniel Kahn Gillmor <dkg@fifthhorseman.net>
  13 #
  14 # They are Copyright 2008-2009, and are all released under the GPL,
  15 # version 3 or later.
  16
  17 set_expire() {
  18
  19 local extendTo
  20
  21 # get the new expiration date
  22 extendTo=$(get_gpg_expiration "$1")
  23
  24 if [ "$PROMPT" = "true" ] ; then
  25     read -p "Are you sure you want to change the expiration on the host key to '$extendTo'? (y/N) " OK; OK=${OK:-N}
  26     if [ "${OK/y/Y}" != 'Y' ] ; then
  27         failure "expiration not set."
  28     fi
  29 else
  30     log debug "extending without prompting."
  31 fi
  32
  33 log info "setting host key expiration to ${extendTo}:"
  34
  35 log debug "executing host expire script..."
  36 gpg_host_edit expire <<EOF
  37 $extendTo
  38 save
  39 EOF
  40
  41 update_gpg_pub_file
  42
  43 cat <<EOF | log info
  44 NOTE: Host key expiration date adjusted, but not yet published.
  45 Run '$PGRM publish-key' to publish the new expiration date.
  46 EOF
  47
  48 }