> On 11 Dec 2019, at 17:00, Peter Eisentraut <peter(dot)eisentraut(at)2ndquadrant(dot)com> wrote:
>
> There were a couple of recent threads that wanted to add an .editorconfig file but never actually ended up doing so.[0][1] Here is a patch. It is meant to match more or less what's in .dir-locals.el.
+[*.{c,h,l,y,pl,pm}]
What about *.sh?
Not that there is much of Python in the tree, but shouldn't those also be
covered if we do this?
[*.py]
indent_style = space
indent_size = 4
cheers ./daniel