diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2021-02-15 13:34:27 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2021-02-15 13:34:27 +0100 |
| commit | aed41cdfc9c2ba6d1458567715f384b8760ba8d1 (patch) | |
| tree | 33f82987139074e8f49619a74c7a113b7bbe76c3 /misc/scripts | |
| parent | e13312db7976fd78a75b29944e0f96a174653a1c (diff) | |
CI: Remove file_format.sh changes hard to reproduce on Windows
Until we provide a cross-platform pre-commit hook that can perform those changes
on Windows, this only leads to a lot of frustration from Windows contributors.
The UTF-8, newline and EOF and BOM checks are still good to keep as those are
issues that we'd otherwise have to point out manually in the review.
The removed changes are mostly cosmetic and should be handled by clang-format
ideally, or by some self-developed cross-platform tooling.
Diffstat (limited to 'misc/scripts')
| -rwxr-xr-x | misc/scripts/file_format.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/misc/scripts/file_format.sh b/misc/scripts/file_format.sh index 0e9db68a90..813c7d9f35 100755 --- a/misc/scripts/file_format.sh +++ b/misc/scripts/file_format.sh @@ -38,15 +38,6 @@ while IFS= read -rd '' f; do # Remove trailing space characters and ensures that files end # with newline characters. -l option handles newlines conveniently. perl -i -ple 's/\s*$//g' "$f" - # Remove the character sequence "== true" if it has a leading space. - perl -i -pe 's/\x20== true//g' "$f" - - if [[ $(uname) == "Linux" ]] && [[ "$f" != *"xml" ]]; then - # Remove empty lines after the opening brace of indented blocks. - sed -z -i 's/\x7B\x0A\x0A\x09/\x7B\x0A\x09/g' "$f" - # Remove empty lines before the closing brace (in some cases). - sed -z -i 's/\x0A\x0A\x7D/\x0A\x7D/g' "$f" - fi done git diff > patch.patch |