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 {