diff options
author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-06-23 19:02:58 -0400 |
---|---|---|
committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-06-23 19:02:58 -0400 |
commit | 438d1fa8881a1f8359b5e91932bf42addefbffca (patch) | |
tree | 98b950edf82c9080bbc964b7c777e13befba3a7d /src/common | |
parent | 1accfecc11da106d6626dc620ee5182d5a66f4f5 (diff) |
switched shortcut for monkeysphere-server update-users to "u", added some FIXMEs to monkeysphere-server.
Diffstat (limited to 'src/common')
-rw-r--r-- | src/common | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -109,7 +109,7 @@ translate_ssh_variables() { echo "$path" } -### CONVERTION UTILITIES +### CONVERSION UTILITIES # output the ssh key for a given key ID gpg2ssh() { @@ -263,7 +263,7 @@ process_user_id() { fi requiredPubCapability=$(echo "$requiredCapability" | tr "[:lower:]" "[:upper:]") - # if CHECK_KEYSERVER variable set, check the keyserver + # if CHECK_KEYSERVER variable set to true, check the keyserver # for the user ID if [ "$CHECK_KEYSERVER" = "true" ] ; then gpg_fetch_userid "$userID" |