diff options
author | Matt Goins <mjgoins@openflows.com> | 2009-03-24 16:46:57 -0400 |
---|---|---|
committer | Matt Goins <mjgoins@openflows.com> | 2009-03-24 16:46:57 -0400 |
commit | f77a5d79b4a9b4b44cb3786237931458265e49ed (patch) | |
tree | 9e6ccf151a5fe7fd4b6c0d4ded98a16d17e674a6 /src/share/mh | |
parent | b8c187a0803442fbf4d9c432cac90925791171aa (diff) | |
parent | b371a109bbaf7e1d1bd424a0495dafca1284ada9 (diff) |
Merge commit 'dkg/master'
Diffstat (limited to 'src/share/mh')
-rw-r--r-- | src/share/mh/add_hostname | 8 | ||||
-rw-r--r-- | src/share/mh/add_revoker | 8 | ||||
-rw-r--r-- | src/share/mh/revoke_hostname | 8 | ||||
-rw-r--r-- | src/share/mh/set_expire | 2 |
4 files changed, 10 insertions, 16 deletions
diff --git a/src/share/mh/add_hostname b/src/share/mh/add_hostname index b08d688..36f174d 100644 --- a/src/share/mh/add_hostname +++ b/src/share/mh/add_hostname @@ -43,14 +43,12 @@ else fi # edit-key script command to add user ID -adduidCommand=$(cat <<EOF -adduid +adduidCommand="adduid $userID -save -EOF -) +save" +# end script # execute edit-key script if echo "$adduidCommand" | gpg_host_edit ; then diff --git a/src/share/mh/add_revoker b/src/share/mh/add_revoker index 03ae56f..077b0d0 100644 --- a/src/share/mh/add_revoker +++ b/src/share/mh/add_revoker @@ -106,14 +106,12 @@ of the host key? (Y/n) " OK; OK=${OK:-Y} fi # edit-key script to add revoker -addrevokerCommand=$(cat <<EOF -addrevoker +addrevokerCommand="addrevoker $fingerprint y save - -EOF - ) +" +# end script # core ltsigns the newly imported revoker key log debug "executing add revoker script..." diff --git a/src/share/mh/revoke_hostname b/src/share/mh/revoke_hostname index 2142af7..5dc327f 100644 --- a/src/share/mh/revoke_hostname +++ b/src/share/mh/revoke_hostname @@ -54,17 +54,15 @@ else fi # edit-key script command to revoke user ID -revuidCommand=$(cat <<EOF -$uidIndex +revuidCommand="$uidIndex revuid y 4 Hostname removed by monkeysphere-host: $DATE y -save -EOF - ) +save" +# end script # execute edit-key script if echo "$revuidCommand" | gpg_host_edit ; then diff --git a/src/share/mh/set_expire b/src/share/mh/set_expire index 63e5c55..a6bf1f1 100644 --- a/src/share/mh/set_expire +++ b/src/share/mh/set_expire @@ -40,7 +40,7 @@ EOF update_gpg_pub_file -cat <<EOF | log info +log info <<EOF NOTE: Host key expiration date adjusted, but not yet published. Run '$PGRM publish-key' to publish the new expiration date. EOF |