Some rearragement/cleanup in the monkeysphere-host:
authorJameson Graef Rollins <jrollins@finestructure.net>
Mon, 9 Feb 2009 04:55:28 +0000 (23:55 -0500)
committerJameson Graef Rollins <jrollins@finestructure.net>
Mon, 9 Feb 2009 04:55:28 +0000 (23:55 -0500)
- define exported variable to hold host key fingerprint
(HOST_FINGERPRINT)
- broke out some common commands into simpler functions
- rename the 'extend_key' function to be 'set_expire', since function
is more generically offered now.

src/monkeysphere-host
src/share/mh/add_hostname
src/share/mh/revoke_hostname
src/share/mh/set_expire [moved from src/share/mh/extend_key with 69% similarity]

index a6fa62fbd80dafcb4fb218b7b7d3e58b82a50cdb..aa764dbcd54cdabb415b23b8f226318d1eb080fc 100755 (executable)
@@ -80,16 +80,21 @@ su_monkeysphere_user() {
 
 # function to interact with the gpg keyring
 gpg_host() {
-    local returnCode
+    GNUPGHOME="$GNUPGHOME_HOST" gpg "$@"
+}
+
+# command to list the info about the host key, in colon format
+gpg_host_list() {
+    gpg_host --list-keys --with-colons --fixed-list-mode \
+       --with-fingerprint --with-fingerprint \
+       "0x${HOST_FINGERPRINT}!"
 
-    GNUPGHOME="$GNUPGHOME_HOST"
-    export GNUPGHOME
+}
 
-    # NOTE: we supress this warning because we need the monkeysphere
-    # user to be able to read the host pubring.  we realize this might
-    # be problematic, but it's the simplest solution, without too much
-    # loss of security.
-    gpg "$@"
+# command for edit key scripts, takes scripts on stdin
+gpg_host_edit() {
+    gpg_host --quiet --command-fd 0 --edit-key \
+       "0x${HOST_FINGERPRINT}!" "$@"
 }
 
 # output just key fingerprint
@@ -102,23 +107,48 @@ fingerprint_host_key() {
        grep '^fpr:' | head -1 | cut -d: -f10 2>/dev/null
 }
 
+# output the index of a user ID on the host key
+# return 1 if user ID not found
+find_host_userid() {
+    local userID="$1"
+    local tmpuidMatch
+    local line
+
+    # match to only ultimately trusted user IDs
+    tmpuidMatch="u:$(echo $userID | gpg_escape)"
+
+    # find the index of the requsted user ID
+    # NOTE: this is based on circumstantial evidence that the order of
+    # this output is the appropriate index
+    line=$(gpg_host_list | egrep '^(uid|uat):' | cut -f2,10 -d: | \
+       grep -n -x -F "$tmpuidMatch" 2>/dev/null)
+
+    if [ "$line" ] ; then
+       echo ${line%%:*}
+       return 0
+    else
+       return 1
+    fi
+}
+
 # function to check for host secret key
-check_host_keyring() {
-    fingerprint_host_key >/dev/null \
-       || failure "You don't appear to have a Monkeysphere host key on this server.  Please run 'monkeysphere-host import-key' first."
+check_host_fail() {
+    [ "$HOST_FINGERPRINT" ] || \
+       failure "You don't appear to have a Monkeysphere host key on this server.  Please run 'monkeysphere-host expert import-key' first."
 }
 
 # show info about the host key
 show_key() {
-    local fingerprintPGP
     local fingerprintSSH
 
-    # FIXME: you shouldn't have to be root to see the host key fingerprint
-    check_host_keyring
-    fingerprintPGP=$(fingerprint_host_key)
+    # FIXME: should not have to be priviledged user to see this info.
+    # should be taken from publicly accessible key files, instead of
+    # the keyring.
+
+    gpg_host --fingerprint --list-key --list-options show-unusable-uids \
+       "0x${HOST_FINGERPRINT}!" 2>/dev/null
 
-    gpg_host --fingerprint --list-key --list-options show-unusable-uids "0x${fingerprintPGP}!" 2>/dev/null
-    echo "OpenPGP fingerprint: $fingerprintPGP"
+    echo "OpenPGP fingerprint: $HOST_FINGERPRINT"
 
     if [ -f "${MHDATADIR}/ssh_host_rsa_key.pub" ] ; then
        fingerprintSSH=$(ssh-keygen -l -f "${MHDATADIR}/ssh_host_rsa_key.pub" | \
@@ -155,6 +185,9 @@ MONKEYSPHERE_USER=${MONKEYSPHERE_MONKEYSPHERE_USER:=${MONKEYSPHERE_USER:="monkey
 CHECK_KEYSERVER=${MONKEYSPHERE_CHECK_KEYSERVER:="true"}
 GNUPGHOME_HOST=${MONKEYSPHERE_GNUPGHOME_HOST:="${MHDATADIR}"}
 
+# host key fingerprint
+HOST_FINGERPRINT=$(fingerprint_host_key)
+
 # export variables needed in su invocation
 export DATE
 export MODE
@@ -163,23 +196,24 @@ export MONKEYSPHERE_USER
 export KEYSERVER
 export GNUPGHOME_HOST
 export GNUPGHOME
+export HOST_FINGERPRINT
 
 # get subcommand
 COMMAND="$1"
 [ "$COMMAND" ] || failure "Type '$PGRM help' for usage."
 shift
 
+
 case $COMMAND in
     'show-key'|'show'|'s')
        check_host_keyring
        show_key
        ;;
 
-    # FIXME: what should we call this command?
     'set-expire'|'extend-key'|'e')
        check_host_keyring
-       source "${MHSHAREDIR}/extend_key"
-       extend_key "$@"
+       source "${MHSHAREDIR}/set_expire"
+       set_expire "$@"
        ;;
 
     'add-hostname'|'add-name'|'n+')
@@ -212,7 +246,7 @@ case $COMMAND in
        publish_key
        ;;
 
-    'expert'|'e')
+    'expert')
        SUBCOMMAND="$1"
        shift
        case "$SUBCOMMAND" in
index 267f109e811b662597e5cd97c4a9f6a1285b30ad..46326bb998e0544f2f5ff901940b48afbc4d87b5 100644 (file)
@@ -27,18 +27,9 @@ fi
 
 userID="ssh://${1}"
 
-fingerprint=$(fingerprint_host_key)
-
-# match to only ultimately trusted user IDs
-tmpuidMatch="u:$(echo $userID | gpg_escape)"
-
-# find the index of the requsted user ID
-# NOTE: this is based on circumstantial evidence that the order of
-# this output is the appropriate index
-if line=$(gpg_host --list-keys --with-colons --fixed-list-mode "0x${fingerprint}!" \
-    | egrep '^(uid|uat):' | cut -f2,10 -d: | grep -n -x -F "$tmpuidMatch") ; then
+# test that the desired user ID does not already exist
+find_host_userid > /dev/null && \
     failure "Host userID '$userID' already exists."
-fi
 
 echo "The following user ID will be added to the host key:"
 echo "  $userID"
@@ -58,8 +49,7 @@ EOF
 )
 
 # execute edit-key script
-if echo "$adduidCommand" | \
-    gpg_host --quiet --command-fd 0 --edit-key "0x${fingerprint}!" ; then
+if echo "$adduidCommand" | gpg_host_edit ; then
 
     show_key
 
index 06b5810f886f99800a1cac53109917db66cdf64b..940b5f462f2ef7694a1d772e9aee2992d5bb3d54 100644 (file)
@@ -38,20 +38,9 @@ fi
 
 userID="ssh://${1}"
 
-fingerprint=$(fingerprint_host_key)
-
-# match to only ultimately trusted user IDs
-tmpuidMatch="u:$(echo $userID | gpg_escape)"
-
-# find the index of the requsted user ID
-# NOTE: this is based on circumstantial evidence that the order of
-# this output is the appropriate index
-if line=$(gpg_host --list-keys --with-colons --fixed-list-mode "0x${fingerprint}!" \
-    | egrep '^(uid|uat):' | cut -f2,10 -d: | grep -n -x -F "$tmpuidMatch") ; then
-    uidIndex=${line%%:*}
-else
-    failure "No non-revoked user ID '$userID' is found."
-fi
+# make sure the user ID to revoke
+uidIndex=$(find_host_userid) || \
+    failure "No non-revoked user ID found matching '$userID'."
 
 echo "The following host key user ID will be revoked:"
 echo "  $userID"
@@ -60,15 +49,13 @@ if [ ${OK/y/Y} != 'Y' ] ; then
     failure "User ID not revoked."
 fi
 
-message="Hostname removed by monkeysphere-server $DATE"
-
 # edit-key script command to revoke user ID
 revuidCommand=$(cat <<EOF
 $uidIndex
 revuid
 y
 4
-$message
+Hostname removed by monkeysphere-host: $DATE
 
 y
 save
@@ -76,8 +63,7 @@ EOF
     )  
 
 # execute edit-key script
-if echo "$revuidCommand" | \
-    gpg_host --quiet --command-fd 0 --edit-key "0x${fingerprint}!" ; then
+if echo "$revuidCommand" | gpg_host_edit ; then
 
     show_key
 
similarity index 69%
rename from src/share/mh/extend_key
rename to src/share/mh/set_expire
index 79ee267b64849c2c5a61d930007b9d5bac21911f..2389e573515505f9d6bdb66e3708680836bcbc56 100644 (file)
@@ -1,7 +1,10 @@
 # -*-shell-script-*-
 # This should be sourced by bash (though we welcome changes to make it POSIX sh compliant)
 
-# Monkeysphere host extend-key subcommand
+# Monkeysphere host set-expire subcommand
+#
+# This is a function to set the expiration date of the monkeysphere
+# host key.
 #
 # The monkeysphere scripts are written by:
 # Jameson Rollins <jrollins@finestructure.net>
 # They are Copyright 2008-2009, and are all released under the GPL,
 # version 3 or later.
 
-# extend the lifetime of a host key:
-
-extend_key() {
+set-expire() {
 
-local fpr=$(fingerprint_host_key)
-local extendTo="$1"
+local extendTo
 
 # get the new expiration date
-extendTo=$(get_gpg_expiration "$extendTo")
+extendTo=$(get_gpg_expiration "$1")
 
-gpg_host --quiet --command-fd 0 --edit-key "$fpr" <<EOF 
-expire
+gpg_host_edit expire <<EOF
 $extendTo
 save
 EOF