From 5df5788fafde940018efa2301c85085fdee43028 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Fri, 30 Mar 2012 20:49:36 +0200 Subject: [PATCH] mo-grab-remote: use rsync --delete Otherwise, when a contestants submits another solution of the same task in a different language, eval is confused. --- mop/admin/mo-grab-remote.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mop/admin/mo-grab-remote.sh b/mop/admin/mo-grab-remote.sh index 167532e..8754bb3 100755 --- a/mop/admin/mo-grab-remote.sh +++ b/mop/admin/mo-grab-remote.sh @@ -6,7 +6,7 @@ set -e . cf/mop -rsync -a mo-submit@mo100:solutions/ submits +rsync -a --delete mo-submit@mo100:solutions/ submits for user in `bin/mo-get-users` ; do echo -n "$user:" mkdir -p solutions/$user -- 2.39.5