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