OLD_HOST_KEY_FILE="$SYSDATADIR"/ssh_host_rsa_key.pub.gpg
if [ -f "$OLD_HOST_KEY_FILE" ] ; then
monkeysphere-host update-pgp-pub-file
OLD_HOST_KEY_FILE="$SYSDATADIR"/ssh_host_rsa_key.pub.gpg
if [ -f "$OLD_HOST_KEY_FILE" ] ; then
monkeysphere-host update-pgp-pub-file