blob: dfa00cec7e0717eed03a7f65b7db2468ae21cd6a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
#!/usr/bin/env bash
set -eo pipefail
script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
cd "$script_path/.."
if [ "$#" -eq "0" ]; then
mapfile -t files < <(
git ls-files -- \
'*.sh' \
':!:Ports' \
':!:Userland/Shell/Tests' \
':!:Base/home/anon/tests' \
':!:Base/root/generate_manpages.sh'
)
else
files=()
for file in "$@"; do
if [[ "${file}" == *".sh" && "${file}" != "Base/root/generate_manpages.sh" ]]; then
files+=("${file}")
fi
done
fi
if (( ${#files[@]} )); then
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
shellcheck "${files[@]}"
else
echo "No .sh files to check."
fi
|
