diff options
Diffstat (limited to 'src/share/mh/extend_key')
| -rw-r--r-- | src/share/mh/extend_key | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/share/mh/extend_key b/src/share/mh/extend_key index d03b89a..79ee267 100644 --- a/src/share/mh/extend_key +++ b/src/share/mh/extend_key @@ -27,8 +27,9 @@ $extendTo save EOF -echo -echo "NOTE: Host key expiration date adjusted, but not yet published." -echo "Run '$PGRM publish-key' to publish the new expiration date." +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 } |