]> mj.ucw.cz Git - eval.git/blob - mop/admin/mo-push-feedback.sh
Split mop/ to several subdirectories: admin, eval, public and score.
[eval.git] / mop / admin / mo-push-feedback.sh
1 #!/bin/bash
2 set -e
3 while IFS="     " read LOGIN FULL MACH ; do
4         if [ -z "$1" -o "$1" == "$LOGIN" ] ; then
5                 echo "$LOGIN -> $MACH"
6                 D=/mo/users/$LOGIN/$LOGIN/
7                 rsync -av ~mo-eval/testing/$LOGIN root@$MACH:$D/results
8                 ssh root@$MACH "cd $D && chown -R $LOGIN.$LOGIN results"
9         fi </dev/null
10 done <userlist