Re: [PATCH 5/6] config docs: Provide for config to specify tags not to abbreviate

From: Junio C Hamano <gitster@pobox.com>
Date: Nov 9, 2016, 23:13 UTC
Message-ID: <xmqqeg2k8cwz.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <22562.65461.845411.29907@chiark.greenend.org.uk>

Ian Jackson <ijackson@chiark.greenend.org.uk> writes:

Show 7 quoted lines

>> But I think the right
>> place to do so would be Edit -> Preferences menu in Gitk, and the
>> settings will be stored in ~/.gitk or ~/.config/git/gitk or whatever
>> gitk-specific place.
>
> This is not correct, because as I have explained, this should be a
> per-tree configuration:

I do not have fundamental opposition to make it part of .git/config, but the name "gitk.something" or if you are enhancing git-gui at the time perhaps "gui.something" would be appropriate.

But it is still silly to have this kind of information that is very specific to Gitk in two places, one that is pretty Gitk specific that core-git does not know anything about, the other that are part of the configuration storage of the core-git. In the longer term, it is necessary for them to be accessible from gitk's "Edit -> Preferences" mechanism somehow, I would think, rather than forcing users to sometimes go to GUI to tweak and sometimes run "git config".