From 604f0496dc54e1f9d3a0693a2f755a3428b91e9f Mon Sep 17 00:00:00 2001 From: Filip Gralinski Date: Fri, 11 Jan 2019 20:10:52 +0100 Subject: [PATCH] new --- blend.sh | 2 +- vars | 10 +++++----- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/blend.sh b/blend.sh index 17ebda6..abc0120 100755 --- a/blend.sh +++ b/blend.sh @@ -15,7 +15,7 @@ cp -R $STUDENT_DIR/* arena/ ln -s ../$STUDENT_DIR/.git arena/.git mkdir -p arena/regexp -#mkdir -p arena/automata +mkdir -p arena/automata rm -rf arena/odp arena/$PREFIX diff --git a/vars b/vars index a7e7bd0..2aa0a91 100644 --- a/vars +++ b/vars @@ -5,15 +5,15 @@ POINT_LIMIT=15 typeset -A TIME_LIMITS set -A TIME_LIMITS \ - "1" "2018-12-09 14:30:00 +0100" \ - "2" "2019-01-12 12:00:00 +0100" \ - "3" "2019-01-12 13:30:00 +0100" + "1" "2019-01-12 14:30:00 +0100" \ + "2" "2019-01-27 12:00:00 +0100" \ + "3" "2019-01-27 13:30:00 +0100" typeset -A HOME_TIME_LIMITS set -A HOME_TIME_LIMITS \ "1" "2019-01-12 12:00:00 +0100" \ - "2" "2019-02-05 23:59:59 +0100" \ - "3" "2019-02-05 23:59:00 +0100" + "2" "2019-01-27 23:59:59 +0100" \ + "3" "2019-01-27 23:59:00 +0100" typeset -A HOME_POINT_LIMITS