summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorDaniel Kahn Gillmor <dkg@fifthhorseman.net>2010-01-18 17:11:00 -0500
committerDaniel Kahn Gillmor <dkg@fifthhorseman.net>2010-01-18 17:11:00 -0500
commit082cf2b49015ec2373417b65ce37b5b67145982d (patch)
tree4bb5398687cba0bf5b7ba4a997c4fbd25a602277 /src
parent44e57bfc7bef4b27d66651f09c9af697e3ce4b5c (diff)
renaming host_keys.pub.gpg to host_keys.pub.pgp
Diffstat (limited to 'src')
-rwxr-xr-xsrc/monkeysphere-host10
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')