.editorconfig: add EditorConfig

This adds an [EditorConfig][homepage] file in the root of the repo. Most editors support it [natively][native-support] or via a [plugin][plugin-support]. This is particularly useful for occasional contributors, who with this no longer need to configure the editor to properly show and format source code. [homepage]: https://editorconfig.org/ [native-support]: https://editorconfig.org/#pre-installed [plugin-support]: https://editorconfig.org/#download
RIOT-OS · Jun 13, 2024 · c7b9445 · c7b9445
1 parent 772ccb9
commit c7b9445
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.editorconfig b/.editorconfig
@@ -0,0 +1,16 @@
+root = true
+spelling_language = en
+end_of_line = lf
+
+[*{.c,.h}]
+indent_style = space
+indent_size = 4
+trim_trailing_whitespace = true
+insert_final_newline = true
+
+[{Makefile*,*.mk}]
+indent_style = tab
+indent_size = 2
+tab_size = 2
+trim_trailing_whitespace = true
+insert_final_newline = true