| ▲ | 8cvor6j844qw_d6 an hour ago | |||||||
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 an hour ago | parent | next [-] | |||||||
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. | ||||||||
| ▲ | arcanemachiner 34 minutes ago | parent | prev | next [-] | |||||||
Interesting case. For the global ignore file, couldn't you just bind-mount that into the container? | ||||||||
| ||||||||
| ▲ | paulddraper 24 minutes ago | parent | prev [-] | |||||||
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. | ||||||||