fix trailing whitespace check

Signed-off-by: Ali Caglayan <[email protected]>
HoTT · Mar 6, 2024 · b0c0bef · b0c0bef
1 parent 1003a95
commit b0c0bef
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/whitespace.yml b/.github/workflows/whitespace.yml
@@ -16,9 +16,10 @@ jobs:
 
     - name: Check for trailing whitespaces
       run: |
-        if git grep --cached -n --ignore-case --perl-regexp '\s$' :; then
-          echo "Trailing whitespaces found. Please remove with:\
-          etc/fix_trailing_whitespace.sh"
+        TRAILING_WHITESPACES=$(git grep -l -z -E '\s+$' | xargs -0 sed -n '/\s$/p')
+        if [ -n "$TRAILING_WHITESPACES" ]; then
+          echo "Trailing whitespaces found. Please fix with:\
+          bash ./etc/fix_trailing_whitespaces.sh"
           exit 1
         fi