From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 17 Mar 2014 22:19:08 GMT
Subject: Re: [PATCH] Documentation/gitk: Document new config file location
Message-ID: <xmqqbnx4bh9f.fsf@gitster.dls.corp.google.com>
In-Reply-To: <1394979023-2635-1-git-send-email-astrilhayato@gmail.com>

Astril Hayato <astrilhayato@gmail.com> writes:

> User configuration file is now stored at $XDG_CONFIG_HOME/git/gitk
>
> Signed-off-by: Astril Hayato <astrilhayato@gmail.com>
> ---
>  Documentation/gitk.txt | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/Documentation/gitk.txt b/Documentation/gitk.txt
> index 1e9e38a..417a707 100644
> --- a/Documentation/gitk.txt
> +++ b/Documentation/gitk.txt
> @@ -166,8 +166,8 @@ gitk --max-count=100 --all \-- Makefile::
>  
>  Files
>  -----
> -Gitk creates the .gitk file in your $HOME directory to store preferences
> -such as display options, font, and colors.
> +User configuration and preferences are stored at $XDG_CONFIG_HOME/git/gitk or
> +$HOME/.config/git/gitk if $XDG_CONFIG_HOME is not set.

It is a bit more complex than that, isn't it?

 - $XDG_CONFIG_HOME/git/gitk is used if $XDG_CONFIG_HOME is set; otherwise
 - $HOME/.gitk is used, if you already have one; otherwise
 - $HOME/.config/git/gitk is used.