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/revoke_hostname | |
| 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/revoke_hostname')
| -rw-r--r-- | src/share/mh/revoke_hostname | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/share/mh/revoke_hostname b/src/share/mh/revoke_hostname index 3addf90..99ba603 100644 --- a/src/share/mh/revoke_hostname +++ b/src/share/mh/revoke_hostname @@ -65,6 +65,8 @@ EOF # execute edit-key script if echo "$revuidCommand" | gpg_host_edit ; then + update_gpg_pub_file + show_key echo |