From: Matthieu Moy Date: Thu, 19 Nov 2009 16:32:56 GMT Subject: Re: [PATCH] expand_user_path: expand ~ to $HOME, not to the actual homedir. Message-ID: In-Reply-To: <20091119152359.GB6877@coredump.intra.peff.net> Jeff King writes: > 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/