]> mj.ucw.cz Git - moe.git/blobdiff - mop/admin/mo-grab-remote.sh
MO: Use `cp -aL', so that links are dereferenced properly
[moe.git] / mop / admin / mo-grab-remote.sh
index eff0ec05d9d8dfe671982a21e9cf714eed186b4d..3f1eb7e31d17482ffaf44f8e574c24886937585c 100755 (executable)
@@ -2,9 +2,9 @@
 # Grab all submits from the submit server and copy them to solutions/.
 
 [ -n "$1" ] || { echo "Usage: mo-grab-remote <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:"