Skip to content

chore: add editors config dirs to gitignore #18669

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

xepozz
Copy link
Contributor

@xepozz xepozz commented May 27, 2025

No description provided.

@TimWolla
Copy link
Member

This effectively is a duplicate of #7326.

@xepozz
Copy link
Contributor Author

xepozz commented May 27, 2025

@TimWolla the last time an agreement was reached
#17642 (comment)

@NickSdot
Copy link
Contributor

Was it ever considered to explicitly add the IDE directories? Jetbrains over time embraced adding specific files from the config directory to Git. They are now actively prompting to add files.

Dictionaries are a very good use case. Consider a typical source or test file in php-src. It is full of green inspection markers for terms such as strpos, intval, EXPECTF, lcname, etc. It is distracting. zend_compile.c, for instance, has 339 dictionary inspection results. It is impossible to tell which of these are real typos and which are expected.

I think it would greatly improve the quality of the code base if everyone working with an IDE shared things like this.

This could even be relatively easily automated using Git hooks to synchronise the list between IDE directories.

There are other good use cases, of course. Maybe something to explore?

Worth to note, the IDE directories still would contain a .gitignore to avoid accidental addtions.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants