diff options
| author | Vasili Novikov <vasya.novikov+cm3513git@gmail.com> | 2021-01-22 09:51:23 +0100 |
|---|---|---|
| committer | Vasili Novikov <vasya.novikov+cm3513git@gmail.com> | 2021-02-02 18:13:18 +0100 |
| commit | ae3164e226320ea8082b8257f0c67b43c1db56d2 (patch) | |
| tree | ddf6746dca368edeb537f5b99854374ea81bd157 | |
| parent | dc1eee2f256efbd1d3b50b6b090232f81cac6d72 (diff) | |
| download | rust-ae3164e226320ea8082b8257f0c67b43c1db56d2.tar.gz | |
Add .editorconfig
Editorconfig is a lightweight specification that
helps maintaining consistent coding/formatting style
accross editors, especially those editors
that are not explicitly aware of Rust and rustfmt.
https://editorconfig.org/
| -rw-r--r-- | .editorconfig | 21 | ||||
| -rw-r--r-- | src/tools/clippy/.editorconfig | 2 |
2 files changed, 23 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 00000000000..ec6e107d547 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,21 @@ +# EditorConfig helps developers define and maintain 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 diff --git a/src/tools/clippy/.editorconfig b/src/tools/clippy/.editorconfig index a13173544d8..ec6e107d547 100644 --- a/src/tools/clippy/.editorconfig +++ b/src/tools/clippy/.editorconfig @@ -13,6 +13,8 @@ indent_style = space indent_size = 4 [*.md] +# double whitespace at end of line +# denotes a line break in Markdown trim_trailing_whitespace = false [*.yml] |