path: root/src/share/mh/add_hostname

# -*-shell-script-*-
# This should be sourced by bash (though we welcome changes to make it POSIX sh compliant)

# Monkeysphere host add-hostname subcommand
#
# The monkeysphere scripts are written by:
# Jameson Rollins <jrollins@finestructure.net>
# Jamie McClelland <jm@mayfirst.org>
# Daniel Kahn Gillmor <dkg@fifthhorseman.net>
#
# They are Copyright 2008-2009, and are all released under the GPL,
# version 3 or later.

# add hostname user ID to server key

add_hostname() {

local userID
local fingerprint
local tmpuidMatch
local line
local adduidCommand

if [ -z "$1" ] ; then
    failure "You must specify a hostname to add."
fi

userID="ssh://${1}"

# test that the desired user ID does not already exist
find_host_userid > /dev/null && \
    failure "Host userID '$userID' already exists."

if [ "$PROMPT" = "true" ] ; then
    cat <<EOF
The following user ID will be added to the host key:
  $userID
EOF
    read -p "Are you sure you would like to add this user ID? (Y/n) " OK; OK=${OK:=Y}
    if [ "${OK/y/Y}" != 'Y' ] ; then
    failure "User ID not added."
    fi
else
    log debug "adding user ID without prompting."
fi

# edit-key script command to add user ID
adduidCommand=$(cat <<EOF
adduid
$userID


save
EOF
)

# execute edit-key script
if echo "$adduidCommand" | gpg_host_edit ; then

    update_gpg_pub_file

    show_key

    echo
    echo "NOTE: User ID added to key, but key not published."
    echo "Run '$PGRM publish-key' to publish the new user ID."
else
    failure "Problem adding user ID."
fi

}