Merge commit 'dkg/master'

[monkeysphere.git] / src / common

diff --git a/src/common b/src/common
index 24decae5dec4ebc28408934c734b0015c351136d..bb988f785e983ad5bcb90492f3390b618ce2c737 100644 (file)
--- a/src/common
+++ b/src/common
@@ -69,20 +69,20 @@ file_hash() {
     md5sum "$1" 2> /dev/null
 }
 
-# convert escaped characters from gpg output back into original
-# character
-# FIXME: undo all escape character translation in with-colons gpg output
-unescape() {
-    echo "$1" | sed 's/\\x3a/:/g'
+# convert escaped characters in pipeline from gpg output back into
+# original character
+# FIXME: undo all escape character translation in with-colons gpg
+# output
+gpg_unescape() {
+    sed 's/\\x3a/:/g'
 }
 
-# convert nasty chars into gpg-friendly form
+# convert nasty chars into gpg-friendly form in pipeline
 # FIXME: escape everything, not just colons!
-escape() {
-    echo "$1" | sed 's/:/\\x3a/g'
+gpg_escape() {
+    sed 's/:/\\x3a/g'
 }
 
-
 # remove all lines with specified string from specified file
 remove_line() {
     local file
@@ -405,7 +405,7 @@ process_user_id() {
                    continue
                fi
                # if the user ID does not match, skip
-               if [ "$(unescape "$uidfpr")" != "$userID" ] ; then
+               if [ "$(echo "$uidfpr" | gpg_unescape)" != "$userID" ] ; then
                    continue
                fi
                # if the user ID validity is not ok, skip