X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=src%2Fshare%2Fmh%2Fset_expire;h=9889e76e62bb28391bd83d3de0c654f9a853550e;hb=82d758a25428509963ddb2a8f7db05c74348c628;hp=0b581d99fa5aadf456b8c5169ae5598d5e23f6f3;hpb=5eab477a9755178abf56eeba5f658db882611eec;p=monkeysphere.git

diff --git a/src/share/mh/set_expire b/src/share/mh/set_expire
index 0b581d9..9889e76 100644
--- a/src/share/mh/set_expire
+++ b/src/share/mh/set_expire
@@ -21,7 +21,17 @@ local extendTo
 # get the new expiration date
 extendTo=$(get_gpg_expiration "$1")
 
-log info "setting host key expiration to ${extendTo}:"
+if [ "$PROMPT" = "true" ] ; then
+    printf "Are you sure you want to change the expiration on the host key to '%s'? (Y/n) " "$extendTo" >&2
+    read OK; OK=${OK:-Y}
+    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..."
 gpg_host_edit expire <<EOF
@@ -31,7 +41,7 @@ EOF
 
 update_gpg_pub_file
 
-cat <<EOF | log info
+log info <<EOF
 NOTE: Host key expiration date adjusted, but not yet published.
 Run '$PGRM publish-key' to publish the new expiration date.
 EOF