4 descfile=$indir/datadesc
15 cmd=$(echo $op | sed 's/<SRC>/$src_path/g;s/<DST>/$dst_path/g')
19 fname=$(basename $src_path)
20 echo "Failed to process data file $fname" >&2
21 echo "Command line was: \"$cmd\""
31 if ! cp $src_path $dst_path; then
32 fname=$(basename $src_path)
33 echo "Failed to copy data file $fname" >&2
46 if [ -z "$filter" ]; then
53 line=$(echo $line | sed 's/#.*$//' | grep "$filter")
54 if [ -n "$line" ]; then
55 path=$(echo $line | awk -F : '{ print $1; }')
56 fname=$(basename $path)
57 op=$(echo $line | awk -F : '{ print $2; }' | xargs)
62 if $force_update; then
66 if [ \( ! -f "$outfile" \) -o \( "$infile" -nt "$outfile" \) ]; then
67 if [ "$op" = nop ]; then
69 mkdir -p $outdir/$(dirname $path)
70 copy $indir/$path $outdir/$path
72 echo processing $fname
73 mkdir -p $outdir/$(dirname $path)
74 process $indir/$path $outdir/$path "$op"