Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Extend indent script to fix changelog entries #6153

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

gassmoeller
Copy link
Member

This needs to be rebased and merged after #6152 has been merged. During that other PR I noticed that our changelog entries are not checked and fixed by the indent script. This PR changes the script to include more files when checking for:

  • trailing spaces at the end of lines
  • replacing tabs with spaces
  • converting windows line endings
  • ensuring a newline at the end of files

I also included the changes this PR would make to the changelog entries (but they will be changed by #6152 anyway).

@@ -140,8 +140,10 @@ find tests include source benchmarks cookbooks unit_tests \
| xargs -P 10 -I {} bash -c "indent_file {}"


SOURCE_FILES=`find include source unit_tests cookbooks benchmarks doc \( -name '*.cc' -o -name '*.h' -o -name '*.prm' -o -name '*.h.in' -o -name 'CMakeLists.txt' -o -name '*.cmake' -o -name '*.md' -o -wholename '*modules/changes/*' \) -print`
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sadly, this doesn't work with -print0 in bash, which would be cleaner and safer (special characters in filenames).

@gassmoeller gassmoeller force-pushed the extend_indent_to_changes branch from 7d52209 to d90acb0 Compare November 19, 2024 12:11
@gassmoeller
Copy link
Member Author

gassmoeller commented Nov 19, 2024

What about putting it into a function like this version? That seems to work for me.

@gassmoeller gassmoeller force-pushed the extend_indent_to_changes branch from d90acb0 to 82ffad0 Compare November 27, 2024 11:00
@gassmoeller
Copy link
Member Author

@tjhei I think this is ready for another look. The script even found something in the last remaining changelog entry ;-).

@gassmoeller
Copy link
Member Author

/rebuild

@gassmoeller gassmoeller force-pushed the extend_indent_to_changes branch from 86f530b to f2be02c Compare December 3, 2024 09:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants