Added a simple grabbing utility for the remote submitter.

diff --git a/bin/mo-grab-remote b/bin/mo-grab-remote
new file mode 100755 (executable)
index 0000000..85a8a0c
--- /dev/null
+++ b/bin/mo-grab-remote
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+[ -n "$1" ] || { echo "Usage: mo-grab-submits <tasks>" ; exit 1 ; }
+[ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; }
+set -e
+. config
+
+for user in `bin/mo-get-users` ; do
+       echo -n "$user:"
+       mkdir -p solutions/$user
+       for t in $@ ; do
+               rm -rf solutions/$user/$t
+               D=$MO_ROOT/eval/submit/solutions/$user/$t
+               if [ -d $D ] ; then
+                       echo -n " $t"
+                       cp -a $D solutions/$user/$t
+               fi
+       done
+       echo
+done