From 9b7bcd9b8fc6f97a34b007cfb730e63bf2ad0fdc Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Tue, 3 Jul 2007 14:27:10 +0200
Subject: [PATCH] New script for distribution of feedback.

---
 bin/mo-push-feedback | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 bin/mo-push-feedback

diff --git a/bin/mo-push-feedback b/bin/mo-push-feedback
new file mode 100755
index 0000000..403ed8b
--- /dev/null
+++ b/bin/mo-push-feedback
@@ -0,0 +1,10 @@
+#!/bin/bash
+set -e
+while IFS="	" read LOGIN FULL MACH ; do
+	if [ -z "$1" -o "$1" == "$LOGIN" ] ; then
+		echo "$LOGIN -> $MACH"
+		D=/mo/users/$LOGIN/$LOGIN/
+		rsync -av ~mo-eval/testing/$LOGIN root@$MACH:$D/results
+		ssh root@$MACH "cd $D && chown -R $LOGIN.$LOGIN results"
+	fi </dev/null
+done <userlist
-- 
2.39.2