view easyhg-extdiff.sh @ 550:c2207b729ab0

Slightly different spacing on Windows
author Chris Cannam <chris.cannam@eecs.qmul.ac.uk>
date Wed, 15 Feb 2012 15:33:05 +0000
parents d63711ff6740
children
line wrap: on
line source
#!/bin/bash -x
p=`dirname $0`
if [ $# -lt 2 ]; then 
    echo Insufficient arguments: $@
    exit 2
fi
while [ $# -gt 2 ]; do
    shift
done
for d in easyhg-kdiff3 easyhg-kdiff3.exe kdiff3 kdiff3.exe; do
    if [ -x "$p/$d" ]; then
	exec "$p/$d" "$1" "$2"
    elif [ -x "$(type -path $d)" ]; then
	exec "$d" "$1" "$2"
    fi
done
od=/usr/bin/opendiff
if [ -x "$od" ]; then
    "$od" "$1" "$2" | cat
    exit 0
fi
exit 1