projects
/
monkeysphere.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge commit 'dkg/master'
[monkeysphere.git]
/
src
/
common
diff --git
a/src/common
b/src/common
index 1908022eb947a50681082c274456a8e10bce47ab..5bb0b79fac779d08348721f2d3e5d6df0f29ed5a 100644
(file)
--- a/
src/common
+++ b/
src/common
@@
-109,7
+109,7
@@
translate_ssh_variables() {
echo "$path"
}
echo "$path"
}
-### CONVER
T
ION UTILITIES
+### CONVER
S
ION UTILITIES
# output the ssh key for a given key ID
gpg2ssh() {
# output the ssh key for a given key ID
gpg2ssh() {
@@
-263,7
+263,7
@@
process_user_id() {
fi
requiredPubCapability=$(echo "$requiredCapability" | tr "[:lower:]" "[:upper:]")
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"
# for the user ID
if [ "$CHECK_KEYSERVER" = "true" ] ; then
gpg_fetch_userid "$userID"