forked from idris-lang/Idris2
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.editorconfig
51 lines (40 loc) · 749 Bytes
/
.editorconfig
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
# top-most EditorConfig file
root = true
# Defaults for every file
[*]
end_of_line = lf
insert_final_newline = true
trim_trailing_whitespace = true
charset = utf-8
# Idris source files
[*.{idr,ipkg,tex,yaff,lidr}]
indent_style = space
indent_size = 2
# Various configuration files
[{*.yml,.ecrc}]
indent_style = space
indent_size = 2
[*.py]
indent_style = space
indent_size = 4
[*.{c,h}]
indent_style = space
indent_size = 4
[*.{md,rst}]
indent_style = space
indent_size = 2
[*.sh]
indent_style = space
indent_size = 4
shell_variant = posix
switch_case_indent = true
[*.bat]
indent_style = space
indent_size = 4
[{Makefile,*.mk}]
indent_style = tab
[*.nix]
indent_style = space
indent_size = 2
[expected]
trim_trailing_whitespace = false