diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2010-01-18 17:11:00 -0500 |
|---|---|---|
| committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2010-01-18 17:11:00 -0500 |
| commit | 082cf2b49015ec2373417b65ce37b5b67145982d (patch) | |
| tree | 4bb5398687cba0bf5b7ba4a997c4fbd25a602277 /src | |
| parent | 44e57bfc7bef4b27d66651f09c9af697e3ce4b5c (diff) | |
renaming host_keys.pub.gpg to host_keys.pub.pgp
Diffstat (limited to 'src')
| -rwxr-xr-x | src/monkeysphere-host | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/monkeysphere-host b/src/monkeysphere-host index ef4107a..2335f1a 100755 --- a/src/monkeysphere-host +++ b/src/monkeysphere-host @@ -34,7 +34,7 @@ MHSHAREDIR="${SYSSHAREDIR}/mh" MHDATADIR="${SYSDATADIR}/host" # host pub key files -HOST_KEY_FILE="${SYSDATADIR}/host_keys.pub.gpg" +HOST_KEY_FILE="${SYSDATADIR}/host_keys.pub.pgp" # UTC date in ISO 8601 format if needed DATE=$(date -u '+%FT%T') @@ -89,8 +89,8 @@ gpg_host_edit() { gpg_host --command-fd 0 --edit-key "$@" } -# export the monkeysphere gpg pub key file -update_gpg_pub_file() { +# export the monkeysphere OpenPGP pub key file +update_pgp_pub_file() { log debug "updating openpgp public key file '$HOST_KEY_FILE'..." gpg_host --export --armor --export-options export-minimal \ $(gpg_host --list-secret-keys --with-colons --fingerprint | grep ^fpr | cut -f9 -d:) \ @@ -331,8 +331,8 @@ case $COMMAND in diagnostics ;; - 'update-gpg-pub-file') - update_gpg_pub_file + 'update-pgp-pub-file') + update_pgp_pub_file ;; 'version'|'v') |