wesnoth/utils/CI/fix_whitespace.sh
Gunter Labes 8c581eee90
Avoid rewriting the same file multiple times
Also process some more extensions that current source files use.
2024-08-19 08:55:08 +02:00

14 lines
442 B
Bash
Executable file

#!/bin/sh
make -C data/tools reindent
# use -i for GNU sed and -i '' otherwise
sed --version 2>/dev/null | grep -q 'GNU sed' || i=1
find src -path src/modules -prune -o \
\( -name '*.[cht]pp' -o -name '*.[ch]' -o -name '*.mm' \) -type f \
-exec sed -i ${i:+''} -e 's/[[:blank:]]*$//' -e '$a\' {} +
find data -name '*.lua' -type f \
-exec sed -i ${i:+''} -e 's/[[:blank:]]*$//' -e '$a\' {} + \
-exec data/tools/check_mixed_indent {} +