Skip to content

Conversation

mhucka
Copy link
Collaborator

@mhucka mhucka commented Sep 11, 2025

Changes:

  • Fix the value for shell indentation in .editorconfig. It was incorrectly set to 2, and should be 4 instead.
  • Add missing setting for makefiles in .editorconfig.
  • In some other files, the relevant value of a linter configuration property should match the value of the editor configuration in .editorconfig. To help us remember this, I added appropriate comments to other config files.
  • In reviewing the files, I now feel that the introductory comments at the tops of several files were too verbose and needlessly hard to maintain. I streamlined the comments.

Fix the value for shell indentation, which was incorrectly set to 2.

Also, streamline the comments at the top so that they are less verbose
and visually assaulting.
In some places, the value of a linter configuration property should
match the value of the editor configuration in `.editorconfig`. This is
easily forgotten, so I added a comment to remind us.

Also, I streamlined the introductory comments at the tops of the files
to make them less verbose.
@github-actions github-actions bot added the size: S 10< lines changed <50 label Sep 11, 2025
mhucka and others added 2 commits September 12, 2025 03:26
Add indentation for makefiles, including *.mk files.
@mhucka mhucka marked this pull request as ready for review September 15, 2025 02:50
@mhucka mhucka requested a review from pavoljuhas September 15, 2025 02:51
@@ -41,6 +38,9 @@ indent_size = 4
[{CMakeLists.txt,*.cmake}]
indent_size = 4

[{Makefile,makefile,*.mk}]
indent_size = 4
Copy link
Collaborator

Choose a reason for hiding this comment

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

Makefiles use TAB for indentation, please correct as in https://editorconfig.org/#example-file

Ref: https://stackoverflow.com/a/28720186/24247414

Copy link
Collaborator

@pavoljuhas pavoljuhas left a comment

Choose a reason for hiding this comment

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

Please fix editorconfig for Makefile before merging.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
size: S 10< lines changed <50
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants