diff options
| author | Jameson Graef Rollins <jrollins@finestructure.net> | 2009-02-17 02:23:17 -0500 |
|---|---|---|
| committer | Jameson Graef Rollins <jrollins@finestructure.net> | 2009-02-17 02:23:17 -0500 |
| commit | 5eab477a9755178abf56eeba5f658db882611eec (patch) | |
| tree | 6094792af141061ccc467f891f60a3869135afa3 /src/share/mh/set_expire | |
| parent | ffe5855c75320bf35b6db1770b4ecbd0012723e8 (diff) | |
rename create_gpg_pub_file to be update_gpg_pub_file, and add it to
every function that alters the host keyring, so that all changes will
show up in exported pub key file, and in show-key.
Diffstat (limited to 'src/share/mh/set_expire')
| -rw-r--r-- | src/share/mh/set_expire | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/share/mh/set_expire b/src/share/mh/set_expire index b03e0d0..0b581d9 100644 --- a/src/share/mh/set_expire +++ b/src/share/mh/set_expire @@ -29,6 +29,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. |