mirror of
https://gitee.com/dgiiot/dgiot.git
synced 2024-11-30 19:28:09 +08:00
61 lines
1.5 KiB
Bash
Executable File
61 lines
1.5 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
## This script checks style of changed files.
|
|
## Expect argument 1 to be the git compare base.
|
|
|
|
set -euo pipefail
|
|
|
|
ELVIS_VERSION='1.0.0-emqx-2'
|
|
|
|
base="${1:-}"
|
|
if [ "${base}" = "" ]; then
|
|
echo "Usage $0 <git-compare-base-ref>"
|
|
exit 1
|
|
fi
|
|
|
|
elvis_version="${2:-$ELVIS_VERSION}"
|
|
|
|
echo "elvis -v: $elvis_version"
|
|
echo "git diff base: $base"
|
|
|
|
if [ ! -f ./elvis ] || [ "$(./elvis -v | grep -oE '[1-9]+\.[0-9]+\.[0-9]+\-emqx-[0-9]+')" != "$elvis_version" ]; then
|
|
curl --silent --show-error -fLO "https://github.com/emqx/elvis/releases/download/$elvis_version/elvis"
|
|
chmod +x ./elvis
|
|
fi
|
|
|
|
if [[ "$base" =~ [0-9a-f]{8,40} ]]; then
|
|
# base is a commit sha1
|
|
compare_base="$base"
|
|
else
|
|
if [[ $CI == true ]];then
|
|
remote="$(git remote -v | grep -E "github\.com(.|/)$GITHUB_REPOSITORY" | grep fetch | awk '{print $1}')"
|
|
else
|
|
remote="$(git remote -v | grep -E 'github\.com(.|/)emqx' | grep fetch | awk '{print $1}')"
|
|
fi
|
|
git fetch "$remote" "$base"
|
|
compare_base="$remote/$base"
|
|
fi
|
|
|
|
git_diff() {
|
|
git diff --name-only --diff-filter=ACMRTUXB "$compare_base"...HEAD
|
|
}
|
|
|
|
bad_file_count=0
|
|
for file in $(git_diff); do
|
|
if [ ! -f "$file" ]; then
|
|
# file is deleted, skip
|
|
continue
|
|
fi
|
|
if [[ $file != *.erl ]]; then
|
|
# not .erl file
|
|
continue
|
|
fi
|
|
if ! ./elvis rock "$file" -c elvis.config; then
|
|
bad_file_count=$(( bad_file_count + 1))
|
|
fi
|
|
done
|
|
if [ $bad_file_count -gt 0 ]; then
|
|
echo "elvis: $bad_file_count errors"
|
|
exit 1
|
|
fi
|