diff options
Diffstat (limited to '.editorconfig')
-rw-r--r-- | .editorconfig | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig index f999431de..7d98c1b14 100644 --- a/.editorconfig +++ b/.editorconfig | |||
@@ -5,3 +5,30 @@ charset = utf-8 | |||
5 | end_of_line = lf | 5 | end_of_line = lf |
6 | insert_final_newline = true | 6 | insert_final_newline = true |
7 | trim_trailing_whitespace = true | 7 | trim_trailing_whitespace = true |
8 | |||
9 | # Build | ||
10 | [configure.ac] | ||
11 | indent_size = 8 | ||
12 | indent_style = tab | ||
13 | |||
14 | [*{.mk,Makefile}{,.in}] | ||
15 | indent_size = 8 | ||
16 | indent_style = tab | ||
17 | |||
18 | # Source code and scripts | ||
19 | [*.{c,h}{,.in}] | ||
20 | indent_size = 8 | ||
21 | indent_style = tab | ||
22 | |||
23 | [*.{awk,exp,sh}{,.in}] | ||
24 | indent_size = 8 | ||
25 | indent_style = tab | ||
26 | |||
27 | [*.py{,.in}] | ||
28 | indent_size = 4 | ||
29 | indent_style = space | ||
30 | |||
31 | # Misc | ||
32 | [.gitlab-ci.yml] | ||
33 | indent_size = 4 | ||
34 | indent_style = space | ||