Add a .editorconfig file

@jung @jjourdan Does any of you have any experience with .editorconfig. If so, can you review?

No I don't, sorry. I never saw such files before.

@jakobbotsch How widely supported is this? Does e.g. Proof general use it by default, or does that require additional setup?

Neither Emacs or Vim support editorconfig by default, but most modern IDEs do. See https://editorconfig.org/ under "No Plugin Necessary". It is pretty useful for the people switching between different projects using different settings.

I understand the use, but none of the editors that natively support editorconfig support Coq, right? So I'm a bit skeptic how useful it actually is.

Anyway, I not necessarily against accepting this MR, the settings that you've put in this file are unlikely going to change soon.

I have not used Coq in those editors, but I know that there are Coq plugins available for several of them. Probably nowhere near as good as Proof General, of course.

In any case, it is likely that people who contribute to open source have .editorconfig plugins installed for their editors. It is quite common to see in open-source projects (for instance, see some of the projects at https://github.com/search?q=stars%3A%3E0&s=stars&type=Repositories).

It is maybe not as common in Coq circles as where I have usually spent my time. But at least it seems the main Coq repo had the same idea some time ago: https://github.com/coq/coq/pull/986#issuecomment-329713811

I may be quite old-fashioned, but I never heard of .editorconfig files, sorry. And given that none of these editor have good enough support for Coq, I doubt that this file would be useful in practice.

Note that the situation of the Coq repo is different, since much (most ?) of the sources available there are in OCaml.

That said, I am not opposed to including this file, if you convince me that someone in particular will find it useful.

No problem. This is turning into bikeshedding and if the maintainers don't see a point then I don't think there is a reason to add it.

closed