This repository has been archived on 2023-07-17. You can view files and clone it, but cannot push or open issues or pull requests.
pushee/diff.sh
2020-05-25 23:42:19 +02:00

16 lines
357 B
Bash
Executable file

#!/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