Re: [PATCH] Add .idea to gitignore for JetBrains CLion

> On 4 Dec 2022, at 16:35, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>
> Sayyid Ali Sajjad Rizavi <sasrizavi(at)gmail(dot)com> writes:
>> +**/.idea
>
> Our policy is that the in-tree .gitignore files should only hide
> files that are build artifacts of standard build processes.
> Something like this belongs in your personal ~/.gitexclude,
> instead.

Since this comes up every now and again, I wonder if it's worth documenting
this in our .gitignore along the lines of:

--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,7 @@
+# This contains ignores for build artifacts from standard builds,
+# auxiliary files from local workflows should be ignored locally
+# with $GIT_DIR/info/exclude
+

> (BTW, perhaps we should remove the entries targeting ".sl"
> extensions? AFAIK that was only for HP-UX, which is now
> desupported.)

+1. Grepping through the .gitignores in the tree didn't reveal anything else
that seemed to have outlived its usefulness.

--
Daniel Gustafsson https://vmware.com/