use which

2015-04-01 15:56:28 +01:00
parent 9a7365dbf1
commit 7bbf1a4040
1 changed files with 1 additions and 1 deletions
--- a/bin/blackbox_whatsnew
+++ b/bin/blackbox_whatsnew
@@ -28,7 +28,7 @@ GIT="git log --abbrev-commit --pretty=oneline"
 CURR_COMMIT=`$GIT                  $FILE | head -1 | awk '{print $1}'`
 PREV_COMMIT=`$GIT ${CURR_COMMIT}~1 $FILE | head -1 | awk '{print $1}'`
 # Use colordiff if available
-if [[ -e /usr/local/bin/colordiff || -e /usr/bin/colordiff || -e /bin/colordiff ]]
+if which colordiff > /dev/null 2>&1
  then DIFF="colordiff"
  else DIFF="diff"
 fi