From 153ca32d482fb1f7a45c7adb83cc000ffe535cce Mon Sep 17 00:00:00 2001 From: Matej Focko Date: Mon, 25 May 2020 23:42:19 +0200 Subject: [PATCH] Add diff script --- diff.sh | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100755 diff.sh diff --git a/diff.sh b/diff.sh new file mode 100755 index 0000000..9272602 --- /dev/null +++ b/diff.sh @@ -0,0 +1,16 @@ +#!/bin/bash + +if [ $# != 5 ]; then + echo "Usage: diff.sh HOMEWORK BEFORE_SUBMISSION_ID AFTER_SUBMISSION_ID PREFIX SRC" + exit 0; +fi + +HOMEWORK=$1 +BEFORE=$2 +AFTER=$3 +SRC=$4/$5 + +COMMON_PATH=/home/kontr/kontr/_tmp_/pb071/$HOMEWORK + +echo "vimdiff $COMMON_PATH/$BEFORE/$SRC $COMMON_PATH/$AFTER/$SRC" +vimdiff $COMMON_PATH/$BEFORE/$SRC $COMMON_PATH/$AFTER/$SRC