Junio C Hamano writes ("Re: [PATCH 5/6] config docs: Provide for config to specify tags not to abbreviate"):
> Ian Jackson <ijackson@xxxxxxxxxxxxxxxxxxxxxx> writes:
> > 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".
I am proposing to set this configuration setting automatically in
dgit. Other tools that work with particular git tags would do the
same. There would be no need for users to do anything.
Having this as an option in a menu would be quite wrong, because it
would end up with the user and the tooling fighting. This is why I
don't want to put this in gitk's existing config file mechanism.
It would be wrong for dgit to edit the user's gitk config file, for
many reasons.
To put it another way, this setting is a way for a tool like dgit to
communicate with gitk (or other programs which have to make guesses
about how prominently to present certain information to the user).
It's not intended to be a way for users, certainly not non-expert
users, to communicate with gitk.
The way I have structured my proposed patches in gitk would make it
easy to provide a gui option to adjust these settings. Such a gui
option ought to save its value in the gitk config file, and those
values ought to override what comes from `git config'.
But such a system would not obviate the need for a legitimate way for
programs like dgit to communicate with gitk.
Thanks,
Ian.
--
Ian Jackson <ijackson@xxxxxxxxxxxxxxxxxxxxxx> These opinions are my own.
If I emailed you from an address @fyvzl.net or @evade.org.uk, that is
a private address which bypasses my fierce spamfilter.