Skip to content

Commit 328391a

Browse files
committed
Add editorconfig file
The most important setting is to trim trailing whitespace, and use spaces not tabs on the file system. The rest can be argued. Indent size is taken from a (tiny) sammple of the existing ghcide code base.
1 parent 638aa1b commit 328391a

File tree

1 file changed

+14
-0
lines changed

1 file changed

+14
-0
lines changed

.editorconfig

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
; This file is for unifying the coding style for different editors and IDEs.
2+
; More information at http://EditorConfig.org
3+
4+
root = true
5+
6+
[*]
7+
end_of_line = LF
8+
9+
[*]
10+
indent_style = space
11+
indent_size = 4
12+
trim_trailing_whitespace = true
13+
insert_final_newline = true
14+
max_line_length = 80

0 commit comments

Comments
 (0)