Re: [PATCH] expand_user_path: expand ~ to $HOME, not to the actual homedir.
- From
Matthieu Moy <matthieu.moy@grenoble-inp.fr>
- Date
- Nov 19, 2009, 16:32 UTC
- Message-ID
- <vpq7htma30n.fsf@bauges.imag.fr>
- In-Reply-To
- <20091119152359.GB6877@coredump.intra.peff.net>
Jeff King <peff@peff.net> writes:
Show 12 quoted lines
> 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).
Not a pure coincidence indeed ;-). In this new version, ~ and ~foo do actually different things so they definitely deserve the heaviness of a few extra words.
-- Matthieu Moy http://www-verimag.imag.fr/~moy/