extern/bat-extras
1
0
Fork 0
mirror of https://github.com/eth-p/bat-extras.git synced 2024-12-12 09:10:45 +01:00
Code Issues Packages Projects Releases Wiki Activity

build.sh: Add option to prevent full executable paths from inlining

Browse Source
This commit is contained in:
Ethan P 2020-10-04 00:56:01 -07:00
parent da24c59751
commit 1f7d9c3fcc
No known key found for this signature in database
GPG Key ID: 6963FD04F6CF35EA
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
build.sh
View File

@ -366,6 +366,7 @@ OPT_COMPRESS=false
OPT_VERIFY=true
OPT_BANNER=true
OPT_MANUALS=false
OPT_INLINE=true
OPT_MINIFY="lib"
OPT_PREFIX="/usr/local"
OPT_BAT="$(basename "$EXECUTABLE_BAT")"
@ -381,6 +382,7 @@ while shiftopt; do
--manuals) OPT_MANUALS=true ;;
--no-verify) OPT_VERIFY=false ;;
--no-banner) OPT_BANNER=false ;;
--no-inline) OPT_INLINE=false ;;
--prefix) shiftval; OPT_PREFIX="$OPT_VAL" ;;
--alternate-executable) shiftval; OPT_BAT="$OPT_VAL" ;;
--minify) shiftval; OPT_MINIFY="$OPT_VAL" ;;
@ -411,6 +413,13 @@ else
printc_msg "%{YELLOW}Use %{BLUE}--install%{YELLOW} for a global install.%{CLEAR}\n\n"
fi
if [[ "$OPT_INLINE" = false ]]; then
# Prevent full executable paths from being inlined.
while read -r exec; do
declare "$exec=$(basename "${!exec}")"
done < <(set | grep '^EXECUTABLE' | cut -d'=' -f1)
fi
# -----------------------------------------------------------------------------
# Check for resources.