blob: efc52637357dd3f06756444085a29519afde1844 (
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
|
#!/bin/bash
set -e pipefail
script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
cd "$script_path/.."
ERRORS=()
while IFS= read -r f; do
if file "$f" | grep --quiet shell; then
{
shellcheck "$f" && echo -e "[\033[0;32mOK\033[0m]: sucessfully linted $f"
} || {
ERRORS+=("$f")
}
fi
done < <(git ls-files -- \
'*.sh' \
':!:Toolchain' \
':!:Ports' \
':!:Shell/Tests' \
)
if (( ${#ERRORS[@]} )); then
echo "Files failing shellcheck: ${ERRORS[*]}"
exit 1
fi
|
