From: Jeff King <peff@peff.net>
Date: Thu, 19 Nov 2009 15:23:59 GMT
Subject: Re: [PATCH] expand_user_path: expand ~ to $HOME, not to the actual homedir.
Message-ID: <20091119152359.GB6877@coredump.intra.peff.net>
In-Reply-To: <1258644075-16191-1-git-send-email-Matthieu.Moy@imag.fr>

On Thu, Nov 19, 2009 at 04:21:15PM +0100, Matthieu Moy wrote:

> -	of files which are not meant to be tracked.  "~/" and "~user/"
> -	are expanded to the specified user's home directory.  See
> -	linkgit:gitignore[5].
> +	of files which are not meant to be tracked.  "~/" is expanded
> +	to the value of `$HOME` and "~user/" to the specified user's
> +	home directory.  See linkgit:gitignore[5].

Thanks. As a side effect, this wording change addresses my original
ambiguity concern (and I also think using $HOME is the right thing to
do).

-Peff