scripts/lib.sh
changeset 8 ba98eb53344a
parent 7 ab661ceed4dc
child 9 ef5f501266ae
--- a/scripts/lib.sh	Thu Jan 05 14:28:31 2012 +0200
+++ b/scripts/lib.sh	Thu Jan 05 14:45:31 2012 +0200
@@ -10,6 +10,13 @@
     [ $LOG_DEBUG ] && echo "... $@" >&2
 }
 
+function log_debugf () {
+    local fmt=$1; shift 1
+
+    [ $LOG_DEBUG ] && printf "... $fmt\n"  "$@"  >&2
+}
+
+
 function log_info () {
     [ $LOG_INFO ] && echo "--- $@" >&2
 }