diff options
author | Ethan P <eth-p+git@hidden.email> | 2020-05-02 01:24:43 -0700 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2020-05-02 10:39:58 +0200 |
commit | dcfdbf82dd6abaef8047fe0deb7a6a808f15bb15 (patch) | |
tree | da57967b108acfd3a47839d29546dda0430ea907 | |
parent | 0cb884d5012ff5182dd50fc0fbf5769dbd8775a9 (diff) |
Do not warn if both 'bat' and 'batcat' are available in info.sh
-rwxr-xr-x | diagnostics/info.sh | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/diagnostics/info.sh b/diagnostics/info.sh index 4a719da9..92c25f8a 100755 --- a/diagnostics/info.sh +++ b/diagnostics/info.sh @@ -7,10 +7,18 @@ set -o pipefail export LC_ALL=C export LANG=C -if command -v batcat &> /dev/null; then - BAT="batcat" -else - BAT="bat" +BAT="bat" +if ! command -v bat &>/dev/null; then + if command -v batcat &> /dev/null; then + BAT="batcat" + else + tput setaf 1 + printf "%s\n%s\n" \ + "Unable to find a bat executable on your PATH." \ + "Please ensure that 'bat' exists and is not named something else." + tput sgr0 + exit 1 + fi fi # ----------------------------------------------------------------------------- |