diff options
| author | Roman Grundkiewicz <rgrundki@exseed.ed.ac.uk> | 2018-11-12 20:53:10 +0300 |
|---|---|---|
| committer | Roman Grundkiewicz <rgrundki@exseed.ed.ac.uk> | 2018-11-12 20:53:10 +0300 |
| commit | acc0f175fefd055750d112957240e9a4f206cef6 (patch) | |
| tree | e717cc420903b7e75c99b869e459533404504c84 | |
| parent | 2fbe4937625719b25de99213c7bdd55ccdef6048 (diff) | |
Add diff wrapper
| -rwxr-xr-x | tools/diff.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/diff.sh b/tools/diff.sh new file mode 100755 index 0000000..ef03374 --- /dev/null +++ b/tools/diff.sh @@ -0,0 +1,3 @@ +#!/bin/bash +[[ "$#" -eq 2 ]] && >&2 echo "Command: $(realpath $0) $(realpath -m $1) $(realpath -m $2)" +diff $1 $2 |