extern/bat-extras
1
0
Fork 0
mirror of https://github.com/eth-p/bat-extras.git synced 2025-03-03 07:51:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

build: Use detected system bat executable

Browse Source 
You no longer have to specify the executable as batcat on Debian
or Ubuntu systems where the executable was renamed from bat.
This commit is contained in:
Ethan P 2020-05-12 02:36:48 -07:00
parent c9f3125002
commit f20a3ff9b8
No known key found for this signature in database
GPG Key ID: 6963FD04F6CF35EA
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
build.sh
View File

@ -365,7 +365,7 @@ OPT_VERIFY=true
OPT_BANNER=true
OPT_MINIFY="lib"
OPT_PREFIX="/usr/local"
OPT_BAT="bat"
OPT_BAT="$(basename "$EXECUTABLE_BAT")"
DOCS_URL="https://github.com/eth-p/bat-extras/blob/master/doc"
DOCS_MAINTAINER="eth-p <eth-p@hidden.email>"
@ -389,8 +389,8 @@ while shiftopt; do
done
if [[ "$OPT_BAT" != "bat" ]]; then
printc_msg "%{YELLOW}Building executable scripts with an alternate bat executable at %{CLEAR}%s%{YELLOW}.%{CLEAR}\n" "$OPT_BAT"
if ! command -v "$OPT_BAT"; then
printc_msg "%{YELLOW}Building executable scripts with an alternate bat executable %{CLEAR}%s%{YELLOW}.%{CLEAR}\n" "$OPT_BAT"
if ! command -v "$OPT_BAT" &>/dev/null; then
printc_err "%{YELLOW}WARNING: Bash cannot execute the specified file.\n"
printc_err "%{YELLOW} The finished scripts may not run properly.%{CLEAR}\n"
fi