diff-highlight: use copy in $PATH if available

diff --git a/.bin/diff-highlight b/.bin/diff-highlight
index 940d802c94eefe9a77a3e2e680af279c2befcd91..accf635984869ff2c54800d3f0600100897b82d5 100755 (executable)
--- a/.bin/diff-highlight
+++ b/.bin/diff-highlight
@@ -24,6 +24,8 @@ main() {
        # If we've already bootstrapped, use it.
        if [ -x "${TARGET}" ] ; then
                exec "${TARGET}" "$@"
+       elif [ -x "/usr/bin/diff-highlight" ] ; then
+               exec /usr/bin/diff-highlight "$@"
        else
                # Fallback so .gitconfig setings always work.
                exec cat