fdo-mirrors/libinput
1
0
Fork 0
mirror of https://gitlab.freedesktop.org/libinput/libinput.git synced 2025-12-20 04:30:06 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

gitlab CI: add a job to check for whitespace issues

Browse source 
Trailing whitespaces and tab after a space are a no-go.

Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
This commit is contained in:
Peter Hutterer 2022-11-22 09:44:08 +10:00
parent 6ae0d1bac4
commit bb6ff0ec00
2 changed files with 46 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
.gitlab-ci.yml
View file

@ -186,6 +186,29 @@ check-commit:
reports:
junit: results.xml
#
# Check for trailing whitespaces
#
check-whitespace:
extends:
- .fdo.ci-fairy
stage: sanity check
script:
# remove trailing whitespaces
- sed -i 's/ *$//' $(git ls-files)
- git diff --exit-code || (echo "ERROR - Trailing whitespaces in patchset, please fix" && false)
- sed -i 's/\t*$//' $(git ls-files)
- git diff --exit-code || (echo "ERROR - Trailing tabs in patchset, please fix" && false)
# search for tab after space
- sed -i 's/ \t//' $(git ls-files)
- git diff --exit-code || (echo "ERROR - Tab after space in patchset, please fix" && false)
# search for duplicated empty lines
- sed -i '/^$/N;/^\n$/D' $(git ls-files src/*.{h,c} tools/*.{h,c} udev/*.c)
- git diff --exit-code || (echo "ERROR - Duplicated empty lines, please fix" && false)
#################################################################
# #
# prep stage #

23
.gitlab-ci/ci.template
View file

@ -174,6 +174,29 @@ check-commit:
reports:
junit: results.xml
#
# Check for trailing whitespaces
#
check-whitespace:
extends:
- .fdo.ci-fairy
stage: sanity check
script:
# remove trailing whitespaces
- sed -i 's/ *$//' $(git ls-files)
- git diff --exit-code || (echo "ERROR - Trailing whitespaces in patchset, please fix" && false)
- sed -i 's/\t*$//' $(git ls-files)
- git diff --exit-code || (echo "ERROR - Trailing tabs in patchset, please fix" && false)
# search for tab after space
- sed -i 's/ \t//' $(git ls-files)
- git diff --exit-code || (echo "ERROR - Tab after space in patchset, please fix" && false)
# search for duplicated empty lines
- sed -i '/^$/N;/^\n$/D' $(git ls-files src/*.{h,c} tools/*.{h,c} udev/*.c)
- git diff --exit-code || (echo "ERROR - Duplicated empty lines, please fix" && false)
#################################################################
# #
# prep stage #