]> mj.ucw.cz Git - moe.git/blob - bin/mo-back-grab
Added backup tools from MO 2002/3.
[moe.git] / bin / mo-back-grab
1 #!/bin/sh
2 if [ -z "$1" ] ; then
3         echo "Directory name expected"
4         exit 1
5 fi
6 rm -rf solutions/mo*
7 for m in `cd $1 ; echo *` ; do
8         echo -n "$m:"
9         for d in $1/$m/mo??/mo?? ; do
10                 u=`basename $d`
11                 if [ $u != mo00 -a -d $d/.submit ] ; then
12                         echo -n " $u"
13                         if [ -d solutions/$u ] ; then
14                                 echo -n "<DUP!!!>"
15                         else
16                                 cp -a $d/.submit solutions/$u
17                         fi
18                 fi
19         done
20         echo
21 done