pwndbg/lint.sh

57 lines
1.1 KiB
Bash
Raw Normal View History

2022-09-05 19:18:40 +08:00
#!/bin/bash
set -o errexit
help_and_exit() {
echo "Usage: ./lint.sh [-f|--filter]"
echo " -f, --filter format code instead of just checking the format"
exit 1
}
if [[ $# -gt 1 ]]; then
help_and_exit
fi
FORMAT=0
while [[ $# -gt 0 ]]; do
case $1 in
-f | --format)
FORMAT=1
shift
;;
*)
help_and_exit
;;
esac
done
set -o xtrace
LINT_FILES="pwndbg tests *.py"
LINT_TOOLS="isort black flake8 vermin"
if ! type ${LINT_TOOLS} &>/dev/null; then
PIP_CMD="pip install -Ur dev-requirements.txt"
echo "Missing one of the following tools: ${LINT_TOOLS}"
echo "Running '${PIP_CMD}'"
$PIP_CMD
fi
if [[ $FORMAT == 1 ]]; then
isort ${LINT_FILES}
black ${LINT_FILES}
else
isort --check-only --diff ${LINT_FILES}
black --check --diff ${LINT_FILES}
fi
flake8 --show-source ${LINT_FILES}
# Indents are four spaces, binary ops can start a line, and indent switch cases
shfmt -i 4 -bn -ci -d .
2022-10-22 17:15:44 +08:00
# Checking minimum python version
2022-10-22 17:18:31 +08:00
vermin -q -t=3.6 --violations ./pwndbg/