diff --git a/doc.zih.tu-dresden.de/util/check-code-style.sh b/doc.zih.tu-dresden.de/util/check-code-style.sh index f95ebb1c40aee198ced0b39e9ea435635cf33972..b54de9847f786971f956395c1aabb86f389d6bb6 100755 --- a/doc.zih.tu-dresden.de/util/check-code-style.sh +++ b/doc.zih.tu-dresden.de/util/check-code-style.sh @@ -97,9 +97,8 @@ if [ $# -eq 1 ]; then ;; -a | --all) echo "Checking in all files." - files=$(find $basedir -name '*.md' -o -name '*.sh' | grep -v $0) - #file_num=$(find $basedir -name '*.md' -o -name '*.sh' | grep -v $0 | wc -l) #For debugging - # Note: `grep -v $0` is added to remove this file from checks + files=$(find $basedir -name '*.md' -o -name '*.sh') + #file_num=$(find $basedir -name '*.md' -o -name '*.sh' | wc -l) #For debugging ;; *) files="$1" @@ -108,10 +107,9 @@ if [ $# -eq 1 ]; then esac elif [ $# -eq 0 ]; then echo "Search in git-changed files." - files=`git diff --name-only "$(git merge-base HEAD "$branch")" | grep -v $0 | grep -e '.md$' -e '.sh$' || true` + files=`git diff --name-only "$(git merge-base HEAD "$branch")" | grep -e '.md$' -e '.sh$' || true` #For debugging - #file_num=$(git diff --name-only "$(git merge-base HEAD "$branch")" | grep -v $0 | grep -c -e '.md$' -e '.sh$' || true) - # Note: `grep -v $0` is added to remove this file from checks + #file_num=$(git diff --name-only "$(git merge-base HEAD "$branch")" | grep -c -e '.md$' -e '.sh$' || true) else usage fi