Re: [Request] Git reset should be able to ignore file permissions

From: Matthieu Moy <matthieu.moy@grenoble-inp.fr>
Date: Jun 19, 2013, 05:40 UTC
Message-ID: <vpqsj0emzdu.fsf@anie.imag.fr>
In-Reply-To: <CACuz9s2KEne5_PwHwmsd1X7iE=GB3pC=iUzxSo=t6TbF+ZjCxA@mail.gmail.com>

Alexander Nestorov <alexandernst@gmail.com> writes:

> How about that:
>
> +Reset only files who's content changed (instead of mtime modification)::

Much better, yes. I'd say "stat information" instead of mtime (that's what used in the description of update-index --refresh, and is a bit more accurate since Git also checks the inode number IIRC).

Show 6 quoted lines

> +------------
> +$ git update-index --refresh               <1>
> +$ git reset --hard                         <2>
> +------------
> ++
> +<1> Make git realize which files actually changed instead of

s/git/Git/ when talking about "The Git system" (as opposed to "The git command"). git-gui or other Git clients would also see the index change.

-- 
Matthieu Moy
http://www-verimag.imag.fr/~moy/