Add diff script

This commit is contained in:
Matej Focko 2020-05-25 23:42:19 +02:00
parent 0a1370ec92
commit 153ca32d48
Signed by: mfocko
GPG key ID: 299B916A55682021

16
diff.sh Executable file
View file

@ -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