view easyhg-extdiff.sh @ 558:d932ce55c364 find

Remove the single find widget from top, add one to each tab at the bottom instead. (Turns out you don't usually want to search for the same text in both types of widget.) Also provide sensible no-results text.
author Chris Cannam
date Mon, 27 Feb 2012 17:08:26 +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