From: | Thomas Hallgren <thomas(at)tada(dot)se> |
---|---|
To: | Chapman Flack <chap(at)anastigmatix(dot)net> |
Cc: | "pljava-dev(at)lists(dot)postgresql(dot)org" <pljava-dev(at)lists(dot)postgresql(dot)org> |
Subject: | Re: I propose to commit a .editorconfig file for PL/Java |
Date: | 2020-07-14 05:35:14 |
Message-ID: | CAO5TtCuMJ+w_VAW+DV0CxTN1fOstvSU_zMVm58i_TtycwKQ7uQ@mail.gmail.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pljava-dev |
I think this sounds like a very good idea.
Best,
Thomas
On Tue, 14 Jul 2020 at 07:17, Chapman Flack <chap(at)anastigmatix(dot)net> wrote:
> Peter Eisentraut added a .editorconfig in the root of PostgreSQL's
> source repository, just last December. [1]
>
> While it can simplify the process for new contributors getting the
> right editor settings for the project's formatting conventions, one
> immediate benefit should be that GitHub will display our sources
> with the intended indentation on the web.
>
> I propose to start with the same rules as in the file he committed, but
> without the exception for sgml and xml. (We don't have any sgml files,
> and the xml files we have are indented the same as other types.)
>
> Regards,
> -Chap
>
>
> [1]
>
> https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=ecb09cd;hp=2032645
>
>
>
From | Date | Subject | |
---|---|---|---|
Next Message | Kartik Ohri | 2020-07-14 17:36:43 | Re: PL/Java new build plugin |
Previous Message | Chapman Flack | 2020-07-14 05:16:59 | I propose to commit a .editorconfig file for PL/Java |