rename create_gpg_pub_file to be update_gpg_pub_file, and add it to

[monkeysphere.git] / src / share / mh / add_hostname

diff --git a/src/share/mh/add_hostname b/src/share/mh/add_hostname
index 46326bb998e0544f2f5ff901940b48afbc4d87b5..910faf69a38b7fe97752f8aa0c22f1821fe89358 100644 (file)
--- a/src/share/mh/add_hostname
+++ b/src/share/mh/add_hostname
@@ -51,6 +51,8 @@ EOF
 # execute edit-key script
 if echo "$adduidCommand" | gpg_host_edit ; then
 
+    update_gpg_pub_file
+
     show_key
 
     echo