From 67fbfd393287c07a34584749cbe187bc859eb240 Mon Sep 17 00:00:00 2001
From: Jan Frenzel <jan.frenzel@tu-dresden.de>
Date: Wed, 24 Aug 2022 13:34:32 +0200
Subject: [PATCH] Removed lines with grep -v $0 in check-code-style.sh because
they don't make a difference.
---
doc.zih.tu-dresden.de/util/check-code-style.sh | 10 ++++------
1 file changed, 4 insertions(+), 6 deletions(-)
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 f95ebb1c4..b54de9847 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
--
GitLab