From: Mike Frysinger <vapier@gentoo.org>
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;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