From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 19 Jun 2019 15:02:58 GMT
Subject: Re: [RFC PATCH] userdiff: ship built-in driver config file
Message-ID: <xmqqblytr525.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <1da78555-96eb-1206-679b-527911f6af29@kdbg.org>

Johannes Sixt <j6t@kdbg.org> writes:

> But /etc/gitconfig would be the wrong place, because it would not be
> updated when a new version ships with new patterns.
>
> I would suggest to install the file as $prefix/share/git-core/userdiff
> although the name "userdiff" sounds like an accident. How about
> .../filetypes?

I am not sure about the filename, but I do agree with your choice of
"somewhere under $prefix/share/".

Thanks.