##// END OF EJS Templates
Check if $DISPLAY is set before using tkdiff or kdiff3.
Thomas Arendsen Hein -
r303:15a9e55e default
parent child Browse files
Show More
@@ -29,21 +29,23 b' elif which diff3 > /dev/null ; then'
29 cp $LOCAL.orig $LOCAL
29 cp $LOCAL.orig $LOCAL
30 fi
30 fi
31
31
32 # try using kdiff3, which is fairly nice
32 if [ -n "$DISPLAY" ]; then
33 if which kdiff3 > /dev/null ; then
33 # try using kdiff3, which is fairly nice
34 if kdiff3 --auto $BASE $LOCAL $OTHER -o $LOCAL ; then
34 if which kdiff3 > /dev/null ; then
35 exit 0
35 if kdiff3 --auto $BASE $LOCAL $OTHER -o $LOCAL ; then
36 else
36 exit 0
37 exit 1
37 else
38 exit 1
39 fi
38 fi
40 fi
39 fi
40
41
41 # try using tkdiff, which is a bit less sophisticated
42 # try using tkdiff, which is a bit less sophisticated
42 if which tkdiff > /dev/null ; then
43 if which tkdiff > /dev/null ; then
43 if tkdiff $LOCAL $OTHER -a $BASE -o $LOCAL ; then
44 if tkdiff $LOCAL $OTHER -a $BASE -o $LOCAL ; then
44 exit 0
45 exit 0
45 else
46 else
46 exit 1
47 exit 1
48 fi
47 fi
49 fi
48 fi
50 fi
49
51
General Comments 0
You need to be logged in to leave comments. Login now