From: Mike Frysinger Date: Thu, 21 Oct 2021 06:20:17 +0000 (-0400) Subject: diff-highlight: use copy in $PATH if available X-Git-Url: https://git.wh0rd.org/?a=commitdiff_plain;h=3dd171ffe2b6135859fc5f201e093474e80251fa;hp=8c438e9f56895f69bf09ee78db44bc2f9688679e;p=home.git diff-highlight: use copy in $PATH if available --- diff --git a/.bin/diff-highlight b/.bin/diff-highlight index 940d802..accf635 100755 --- 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