Messages in this thread | | | Date | Wed, 14 Jun 2023 14:08:54 +0200 | Subject | Re: [PATCH v4] Add .editorconfig file for basic formatting | From | Rasmus Villemoes <> |
| |
On 14/06/2023 13.40, Íñigo Huguet wrote:
> I neither think it is good to enable it for some folders and not for > others: developers will be surprised of having assistance in some > files and not in others, I would be bothered with such inconsistency. > > Right now I see 2 possibilities: > - Provide an .editorconfig.default so those that want to use it, can > do it. But I wouldn't mess with cherry-picking directories that > already complies and those that don't, just the developer chooses to > use it or not, and that's all. > - Provide an .editorconfig directly, and those that don't want to use > it, either disable it in their editors or manually delete the file. > > Please tell me what approach you prefer.
So opting out by deleting the file would leave the developer's work-tree permanently dirty I think. So if there are editors where one cannot actually disable the editorconfig plug-in, and we worry/care about those, the second option seems to be a no-go.
The first option works better; we can add an ".editorconfig" entry to .gitignore, and then have people who want to opt-in make .editorconfig a symlink to .editorconfig.default.
I definitely agree that we shouldn't try to do anything per directory.
Rasmus
| |