Jeff King <peff@xxxxxxxx> 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/ -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html