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 "$userID" && \
32 failure "Host userID '$userID' already exists."
34 if [ "$PROMPT" = "true" ] ; then
35 printf "The following user ID will be added to the host key:\n %s\nAre you sure you would like to add this user ID? (Y/n) " "$userID" >&2
37 if [ "${OK/y/Y}" != 'Y' ] ; then
38 failure "User ID not added."
41 log debug "adding user ID without prompting."
44 # execute edit-key script
45 if PEM2OPENPGP_USAGE_FLAGS=authenticate \
46 <"$GNUPGHOME_HOST/secring.gpg" \
47 "$SYSSHAREDIR/keytrans" adduserid \
48 "$HOST_FINGERPRINT" "$userID" | gpg_host --import ; then
49 gpg_host --check-trustdb
56 echo "NOTE: User ID added to key, but key not published."
57 echo "Run '$PGRM publish-key' to publish the new user ID."
59 failure "Problem adding user ID."