From 1c2dc51b76df9dba1472cc0a1c066e49d329b7d9 Mon Sep 17 00:00:00 2001
From: Martin Weinelt <mweinelt@users.noreply.github.com>
Date: Sun, 8 Mar 2020 19:18:17 +0100
Subject: [PATCH] add .editorconfig (#1951)

Resolves #1929
---
 .editorconfig       | 8 ++++++++
 docs/dev/basics.rst | 5 +++++
 2 files changed, 13 insertions(+)
 create mode 100644 .editorconfig

diff --git a/.editorconfig b/.editorconfig
new file mode 100644
index 000000000..6ac0df79c
--- /dev/null
+++ b/.editorconfig
@@ -0,0 +1,8 @@
+# Top-most EditorConfig file
+root = true
+
+[*]
+end_of_line = lf
+insert_final_newline = true
+indent_style = tab
+charset = utf-8
diff --git a/docs/dev/basics.rst b/docs/dev/basics.rst
index 18aec227d..0f53d6d42 100644
--- a/docs/dev/basics.rst
+++ b/docs/dev/basics.rst
@@ -67,5 +67,10 @@ apply:
 
 - use tabs instead of spaces
 - trailing whitespaces must be eliminated
+- files need to end with a final newline
+- newlines need to have unix line endings (lf)
+
+To that end we provide a ``.editorconfig`` configuration, which is supported by most
+of the editors out there.
 
 If you add Lua scripts to gluon, check formatting with ``luacheck``.
-- 
GitLab