diff options
author | a-kenji <aks.kenji@protonmail.com> | 2022-03-02 12:12:26 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-02 12:12:26 +0100 |
commit | f77c3006dc95c5c97e12a0dcac12c3daafec2c62 (patch) | |
tree | a92aa91189ab453ddab9716c0f7580333aaf318f /.editorconfig | |
parent | 837f7ed250ef7b5f25c883ee40624715b70be35f (diff) |
add: editorconfig (#1156)
Keep simple configuration synchronized between editors,
in order to hopefully keep diffs to more interesting changes.
Diffstat (limited to '.editorconfig')
-rw-r--r-- | .editorconfig | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 000000000..69dbf312a --- /dev/null +++ b/.editorconfig @@ -0,0 +1,31 @@ +# Consistent coding styles between different editors and IDEs +# editorconfig.org + +root = true + +[*] +end_of_line = lf +charset = utf-8 +trim_trailing_whitespace = true +insert_final_newline = true +indent_style = space +indent_size = 4 + +[*.md] +# double whitespace at end of line +# denotes a line break in Markdown +trim_trailing_whitespace = false + +[*.yml] +indent_size = 2 + +# Ignore diffs/patches +[*.{diff,patch}] +end_of_line = unset +insert_final_newline = unset +trim_trailing_whitespace = unset + + +# Ignore generated files +[*.lock] +indent_size = unset |