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 # test that the desired user ID does not already exist
31 find_host_userid > /dev/null && \
32 failure "Host userID '$userID' already exists."
34 if [ "$PROMPT" = "true" ] ; then
35 read -p "The following user ID will be added to the host key:
37 Are you sure you would like to add this user ID? (Y/n) " OK; OK=${OK:=Y}
38 if [ "${OK/y/Y}" != 'Y' ] ; then
39 failure "User ID not added."
42 log debug "adding user ID without prompting."
45 # edit-key script command to add user ID
46 adduidCommand=$(cat <<EOF
55 # execute edit-key script
56 if echo "$adduidCommand" | gpg_host_edit ; then
63 echo "NOTE: User ID added to key, but key not published."
64 echo "Run '$PGRM publish-key' to publish the new user ID."
66 failure "Problem adding user ID."