lib/update.utils
changeset 592 88a7683efc54
parent 589 482d06935d96
child 605 26a307558602
--- a/lib/update.utils	Thu Mar 22 16:36:12 2012 +0200
+++ b/lib/update.utils	Fri Mar 23 15:10:23 2012 +0200
@@ -65,6 +65,24 @@
     echo "$ROOT/$path"
 }
 
+## List names of files in dir:
+#
+#   list_files $dir $glob
+#
+function list_files {
+    local dir=$1
+    local glob=$2
+    local name=
+
+    for file in $dir/$glob; do
+        # strip prefix
+        name=${file#$dir/}
+        name=${name%$glob}
+
+        echo -n "$name "
+    done
+}
+
 ### HG wrappers
 # Run `hg ...` within $REPO.
 function hg {