Fix lint.sh (#2030)

pull/2029/head
Gulshan Singh 2 years ago committed by GitHub
parent f7ffe38888
commit 4191ceb5ec
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -26,25 +26,15 @@ while [[ $# -gt 0 ]]; do
esac
done
set -o xtrace
# Use Python virtual env for all programs used here
if [[ -z "${PWNDBG_VENV_PATH}" ]]; then
PWNDBG_VENV_PATH="./.venv"
fi
# shfmt is not a Python program but a system binary
# so let's hack it into the virtualenv
# This is not great, but we can't add a single binary to $PATH
SHFMT_PATH=$(which shfmt)
if [[ ! -z "${SHFMT_PATH}" ]]; then
ln -s ${SHFMT_PATH} ${PWNDBG_VENV_PATH}/bin/shfmt 2> /dev/null || true
fi
# Override PATH because we don't want any system-level binaries to be used
PATH="${PWNDBG_VENV_PATH}/bin/"
source "${PWNDBG_VENV_PATH}/bin/activate"
set -o xtrace
LINT_FILES="pwndbg tests *.py"
LINT_TOOLS="isort black ruff vermin mypy"
@ -62,7 +52,7 @@ call_shfmt() {
local SHFMT_FILES=$(find . -name "*.sh" -not -path "./.venv/*")
# Indents are four spaces, binary ops can start a line, indent switch cases,
# and allow spaces following a redirect
shfmt ${FLAGS} -i 4 -bn -ci -sr -d .
shfmt ${FLAGS} -i 4 -bn -ci -sr -d ${SHFMT_FILES}
else
echo "shfmt not installed, skipping"
fi

Loading…
Cancel
Save