mirror of
https://gitee.com/dgiiot/dgiot.git
synced 2024-11-30 03:07:40 +08:00
20 lines
323 B
Bash
Executable File
20 lines
323 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -euo pipefail
|
|
|
|
target_files=()
|
|
while IFS='' read -r line;
|
|
do
|
|
target_files+=("$line");
|
|
done < <(git grep -r -l '^#!/\(bin/\|usr/bin/env bash\)' .)
|
|
|
|
return_code=0
|
|
for i in "${target_files[@]}"; do
|
|
echo checking "$i" ...
|
|
if ! shellcheck "$i"; then
|
|
return_code=1
|
|
fi
|
|
done
|
|
|
|
exit $return_code
|