2 # This should be sourced by bash (though we welcome changes to make it POSIX sh compliant)
4 # Monkeysphere host add-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 # add hostname user ID to server key
25 failure "You must specify a hostname to add."
30 fingerprint=$(fingerprint_server_key)
32 # match to only ultimately trusted user IDs
33 tmpuidMatch="u:$(echo $userID | gpg_escape)"
35 # find the index of the requsted user ID
36 # NOTE: this is based on circumstantial evidence that the order of
37 # this output is the appropriate index
38 if line=$(gpg_host --list-keys --with-colons --fixed-list-mode "0x${fingerprint}!" \
39 | egrep '^(uid|uat):' | cut -f2,10 -d: | grep -n -x -F "$tmpuidMatch") ; then
40 failure "Host userID '$userID' already exists."
43 echo "The following user ID will be added to the host key:"
45 read -p "Are you sure you would like to add this user ID? (y/N) " OK; OK=${OK:=N}
46 if [ ${OK/y/Y} != 'Y' ] ; then
47 failure "User ID not added."
50 # edit-key script command to add user ID
51 adduidCommand=$(cat <<EOF
60 # execute edit-key script
61 if echo "$adduidCommand" | \
62 gpg_host --quiet --command-fd 0 --edit-key "0x${fingerprint}!" ; then
67 echo "NOTE: User ID added to key, but key not published."
68 echo "Run '$PGRM publish-key' to publish the new user ID."
70 failure "Problem adding user ID."