.git/info/exclude support

[tuncbkose]

For projects where individuals might have different workflows, .git/info/exclude offers a nice alternative to .gitignore. So it can be nice to make devenv edits there instead of .gitignore. Maybe a --local flag for devenv init could provide such functionality.

[theutz]

I'm curious: why is this not something that you can already achieve with devenv? Do they restrict this somehow?

[tuncbkose]

I don't really understand your question, but here is what I had in mind:

It is not uncommon to see .gitignore as a part of a project repo, where for example some files produced during building a program might be added. Since devenv related to my local development and has nothing to do with the project itself, I'd prefer to keep any related changes locally, and not commit any reference to devenv to the repo itself. Thus, if I do devenv init, I would need to manually modify .gitignore to undo changes and add them to .git/info/exclude. This is perfectly doable, but it would just be slightly more convenient if I could just have a flag in devenv init or a global config to always to this instead.

[theutz]

Oh, I see! That makes more sense to me now. :) Thanks for clarifying!