From a924bda835d1096ecc296e4daaab11eeacc4ea9c Mon Sep 17 00:00:00 2001 From: Emil Velikov Date: Sun, 22 Sep 2024 16:02:38 +0100 Subject: [PATCH] editorconfig: add initial config file It's a simple format handled by practically every supported platform or program out there. Add an initial configuration file, so we reduce the style variation of the files in-tree. Signed-off-by: Emil Velikov --- .editorconfig | 21 +++++++++++++++++++++ check_whence.py | 1 + 2 files changed, 22 insertions(+) create mode 100644 .editorconfig diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 00000000..100bbceb --- /dev/null +++ b/.editorconfig @@ -0,0 +1,21 @@ +# To use this config on you editor, follow the instructions at: +# http://editorconfig.org + +root = true + +[*] +charset = utf-8 +insert_final_newline = true +tab_width = 8 +max_line_length = 90 + +[Makefile] +indent_style = tab + +[*.{sh,py}] +indent_style = space +indent_size = 4 + +[*.{yml,yaml}] +indent_style = space +indent_size = 2 diff --git a/check_whence.py b/check_whence.py index 64dc1335..afe97a76 100755 --- a/check_whence.py +++ b/check_whence.py @@ -74,6 +74,7 @@ def main(): known_files = set(name for name in whence_list if not name.endswith("/")) | set( [ ".codespell.cfg", + ".editorconfig", ".gitignore", ".gitlab-ci.yml", ".pre-commit-config.yaml",