[8cvor6j844qw_d6]

I prefer gitignore since it survives dev container rebuilds.

I can set a creation script or volume to restore/persist configs if I must avoid gitignore. However, that's an extra script or devcontainer mounts config over a gitignore line.

[mvanbaak]

In my opinion (which might not be shared by everyone) this is a you problem. Developers in the team not using decontainers should not have to worry about your environment. ide/local-env stuff should be ignored in the users git setup, everything that the repo creates (build artifacts, environment files etc) should be in the repo.

[paulddraper]

That's an interesting case, where you are crossing operating systems.

---

That said, the easier change is still a one/two line bind mount that trying to exhaustively list ignored directories for every IDE or tool under the sun.

[arcanemachiner]

Interesting case. For the global ignore file, couldn't you just bind-mount that into the container?

[paulddraper]

> However, that's an extra script or devcontainer mounts config over a gitignore line.

[arcanemachiner]

Well, that's what I get for being an idiot.