X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=src%2Fshare%2Fmh%2Fset_expire;h=14d2501b6928d5a87f33989cfb3825be2b3bf53f;hb=d2874b94fedbe6d043d44ca3562879251e6ea10f;hp=b03e0d02833f84ac3bc06625bc58266f97187979;hpb=65e8a49c924eac3c46c93cb4bb9be9c739a58983;p=monkeysphere.git

diff --git a/src/share/mh/set_expire b/src/share/mh/set_expire
index b03e0d0..14d2501 100644
--- a/src/share/mh/set_expire
+++ b/src/share/mh/set_expire
@@ -21,6 +21,15 @@ local extendTo
 # get the new expiration date
 extendTo=$(get_gpg_expiration "$1")
 
+if [ "$PROMPT" = "true" ] ; then
+    read -p "Are you sure you want to change the expiration on the host key to '$extendTo'? (y/N) " OK; OK=${OK:-N}
+    if [ "${OK/y/Y}" != 'Y' ] ; then
+	failure "expiration not set."
+    fi
+else
+    log debug "extending without prompting."
+fi
+
 log info "setting host key expiration to ${extendTo}:"
 
 log debug "executing host expire script..."
@@ -29,6 +38,8 @@ $extendTo
 save
 EOF
 
+update_gpg_pub_file
+
 cat <<EOF | log info
 NOTE: Host key expiration date adjusted, but not yet published.
 Run '$PGRM publish-key' to publish the new expiration date.