mirror of
https://github.com/nix-community/home-manager
synced 2024-11-01 00:39:45 +01:00
132f985185
Sets the basic editor settings to Home Manager style guide.
21 lines
378 B
INI
21 lines
378 B
INI
# http://editorconfig.org
|
|
root = true
|
|
|
|
[*]
|
|
indent_style = space
|
|
indent_size = 2
|
|
end_of_line = lf
|
|
charset = utf-8
|
|
trim_trailing_whitespace = true
|
|
insert_final_newline = true
|
|
|
|
# The JSON files contain newlines inconsistently
|
|
[*.json]
|
|
insert_final_newline = ignore
|
|
|
|
# Makefiles always use tabs for indentation
|
|
[Makefile]
|
|
indent_style = tab
|
|
|
|
[*.md]
|
|
trim_trailing_whitespace = false
|