Iaroslav Postovalov
11/30/2020, 3:39 PMmisc.xml
and other files that shouldn't be changed by a PR?Marc Knaup
11/30/2020, 3:52 PM.gitignore
anyway? 🤔Marc Knaup
11/30/2020, 3:53 PMIaroslav Postovalov
11/30/2020, 4:00 PM.idea/misc.xml
in the Kotlin project...Iaroslav Postovalov
11/30/2020, 4:00 PMgitignore
, but IDEA changes itMarc Knaup
11/30/2020, 4:05 PM.idea/misc.xml
. Is that correct?
In that case the problem is that the file is in Git in the first place. It shouldn’t be.
You can’t prevent the IDE from changing these files. They’re there solely for the IDE because it needs them 😅
Some make sense to be added to Git but most shouldn’t be.tginiotis
11/30/2020, 4:59 PMalllex
12/16/2020, 3:45 PMIn that case the problem is that the file is in Git in the first place. It shouldn’t be.You would be surprised then: https://github.com/JetBrains/kotlin/tree/master/.idea
Marc Knaup
12/16/2020, 3:48 PMalllex
12/16/2020, 3:51 PM.run
directory instead of .idea/runConfigurations
). I think it is related exactly to that problem.Marc Knaup
12/16/2020, 3:53 PM.run
folder. Naming it like that implies that it’s not IDE-specific but it still is.
I’m absolutely pro adding IDE configuration to Git. You want everyone in the team to operate with the same environment or else you’ll get chaos.alllex
12/16/2020, 3:55 PMMarc Knaup
12/16/2020, 3:56 PM