2 # This should be sourced by bash (though we welcome changes to make it POSIX sh compliant)
4 # Monkeysphere host revoke-hostname subcommand
6 # The monkeysphere scripts are written by:
7 # Jameson Rollins <jrollins@finestructure.net>
8 # Jamie McClelland <jm@mayfirst.org>
9 # Daniel Kahn Gillmor <dkg@fifthhorseman.net>
11 # They are Copyright 2008-2009, and are all released under the GPL,
14 # revoke hostname user ID from host key
27 failure "You must specify a hostname to revoke."
30 echo "WARNING: There is a known bug in this function.
31 This function has been known to occasionally revoke the wrong hostname.
32 Please see the following bug report for more information:
33 https://labs.riseup.net/code/issues/show/422" >&2
34 printf "Are you sure you would like to proceed? (y/N) " >&2
36 if [ ${OK/y/Y} != 'Y' ] ; then
42 # make sure the user ID to revoke
43 uidIndex=$(find_host_userid) || \
44 failure "No non-revoked user ID found matching '$userID'."
46 if [ "$PROMPT" = "true" ] ; then
47 printf "The following host key user ID will be revoked:\n %s\nAre you sure you would like to revoke this user ID? (Y/n) " "$userID" >&2
49 if [ "${OK/y/Y}" != 'Y' ] ; then
50 failure "User ID not revoked."
53 log debug "revoking user ID without prompting."
56 # edit-key script command to revoke user ID
57 revuidCommand="$uidIndex
61 Hostname removed by monkeysphere-host: $DATE
67 # execute edit-key script
68 if echo "$revuidCommand" | gpg_host_edit ; then
75 echo "NOTE: User ID revoked, but revocation not published."
76 echo "Run '$PGRM publish-key' to publish the revocation."
78 failure "Problem revoking user ID."