3 # mv_testcase <src_num> <dest_scripts_dir> <dest_num>
4 # Run using the test/ dir as current-working-directory.
5 # Include leading zeroes in the testcase numbers.
7 srcnum="${1:?missing src testcase number}"
8 dstdir="${2:?missing dest scripts dir}"
9 dstnum="${3:? missing dest testcase number}"
11 if [ -f confs/$dstnum -o -f scripts/*/$dstnum ]
13 echo "testcase $dstnun already exists?" >&2
18 git mv scripts/*/$srcnum $dstdir/$dstnum
20 for d in confs log rejectlog paniclog stdin stderr
22 [ -f "$d/$srcnum" ] && git mv "$d/$srcnum" "$d/$dstnum"
25 for d in mail aux-fixed aux-var-src
33 git mv $f ${dstnum}${suff}
39 rm -f aux-var/$srcnum*