MO-P: Script for creation of CMS users

[eval.git] / mop / admin / mo-grab.sh

diff --git a/mop/admin/mo-grab.sh b/mop/admin/mo-grab.sh
index 9ce2f19139914fe301dce166dc7dbb6665ca74c9..8bbc8fb76da62a58c46a3769718016bd7205c032 100755 (executable)
--- a/mop/admin/mo-grab.sh
+++ b/mop/admin/mo-grab.sh
@@ -1,9 +1,11 @@
 #!/bin/bash
+# Grab all submits from contestants' home directories located on the
+# local machine and copy them to solutions/.
 
 [ -n "$1" ] || { echo "Usage: mo-grab <tasks>" ; exit 1 ; }
-[ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; }
+[ -f cf/mop ] || { echo "Missing config file, check cwd." ; exit 1 ; }
 set -e
-. config
+. cf/mop
 
 for user in `bin/mo-get-users` ; do
        echo -n "$user:"