Got it, and that makes sense. I hereby withdraw this patch. ;)
- David > On Dec 3, 2019, at 10:08, Tom Lane <t...@sss.pgh.pa.us> wrote: > > Daniel Gustafsson <dan...@yesql.se> writes: >>>> On 3 Dec 2019, at 15:47, David Nedrow <dned...@me.com> wrote: >>> This patch simply adds “.idea/“ to the list of global excludes across all >>> subdirectories. This directory is created when a JetBrains IDE is used to >>> open a project. In my specific case, Clion is creating the project >>> directory. >>> >>> The ONLY change in the patch is the “.idea/“ addition to .gitignore. > >> -1. This seems like something better suited in a local gitignore for those >> who >> use Jetbrains products. See the documentation for ~/.gitignore_global. > > Yeah, we already have a policy that we won't add entries for, say, > editor backup files. This seems like the same thing. It's stuff > generated by a tool you use, and you'd need it for any project > you work on, so a personal ~/.gitexclude seems like the answer. > > (Roughly speaking, I think the project policy is/should be that only > junk files created by application of build rules in our Makefiles > should be excluded by our own .gitexclude files.) > > As a point of reference, I have > > $ cat ~/.gitexclude > *~ > *.orig > > to suppress emacs backup files and patch backup files respectively. > Somebody who prefers another editor would have no use for *~. > > regards, tom lane