2020-02-10 06:39:30 +00:00
|
|
|
#!/bin/bash
|
2020-12-27 14:26:43 +00:00
|
|
|
|
|
|
|
set -eo pipefail
|
2020-02-10 06:39:30 +00:00
|
|
|
|
|
|
|
script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
|
|
|
|
cd "$script_path/.."
|
|
|
|
|
2020-12-27 14:34:06 +00:00
|
|
|
if [ "$#" -eq "0" ]; then
|
|
|
|
mapfile -t files < <(
|
|
|
|
git ls-files -- \
|
|
|
|
'*.sh' \
|
|
|
|
':!:Toolchain' \
|
|
|
|
':!:Ports' \
|
2021-01-12 10:53:14 +00:00
|
|
|
':!:Userland/Shell/Tests'
|
2020-12-27 14:34:06 +00:00
|
|
|
)
|
|
|
|
else
|
|
|
|
files=()
|
|
|
|
for file in "$@"; do
|
|
|
|
if [[ "${file}" == *".sh" ]]; then
|
|
|
|
files+=("${file}")
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
fi
|
2020-02-10 06:39:30 +00:00
|
|
|
|
2020-12-27 14:34:06 +00:00
|
|
|
if (( ${#files[@]} )); then
|
2021-01-10 07:20:21 +00:00
|
|
|
if ! command -v shellcheck &>/dev/null ; then
|
|
|
|
echo "shellcheck is not available, but shell files need linting! Either skip this script, or install shellcheck."
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2020-12-27 14:34:06 +00:00
|
|
|
shellcheck "${files[@]}"
|
|
|
|
else
|
|
|
|
echo "No .sh files to check."
|
2020-02-10 06:39:30 +00:00
|
|
|
fi
|