postgrespro.git / summary / log / commit / refs

commit    ecb09cd5de5279ab9cfa20a58fd3da44f7df5779
Author:   Peter Eisentraut <peter@eisentraut.org>
Date:     Wed Dec 18 08:08:23 2019 +0000

    Add .editorconfig
    
    The main use right now is getting properly spaced diff views on
    GitHub, but perhaps this will also help developers with editors that
    we currently don't have setup recipes for.
    
    The settings mirror mostly what's currently in .dir-locals.el.
    
    Discussion: https://www.postgresql.org/message-id/flat/273cb788-bbb2-ff34-ad6f-5192b44e5049%402ndquadrant.com


 .editorconfig | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/.editorconfig b/.editorconfig
new file mode 100644
index 0000000000..d69a3d1dc4
--- /dev/null
+++ b/.editorconfig
@@ -0,0 +1,14 @@
+root = true
+
+[*.{c,h,l,y,pl,pm}]
+indent_style = tab
+indent_size = tab
+tab_width = 4
+
+[*.{sgml,xml}]
+indent_style = space
+indent_size = 1
+
+[*.xsl]
+indent_style = space
+indent_size = 2


[parent: 2032645b195a]