Does 'git update-index' offer any opportunies? (I've not RTFM'd it)
----- Original Message -----
From: Konrád Lőrinczi
To: Git for human beings
Cc: [email protected]
Sent: Thursday, July 23, 2015 8:26 AM
Subject: Re: [git-users] Git doesn't detect change, if file modification time
is restored to original one
I tried to set core to:
trustctime = false
checkStat = minimal
Unfortunately the change is still not detected :(
It seems isn't a way to force fallback to file checking and completely ignore
file modification date :(
2015. július 22., szerda 21:10:56 UTC+2 időpontban Konstantin Khomoutov a
következőt írta:
On Wed, 22 Jul 2015 11:17:13 -0700 (PDT)
Konrád Lőrinczi <[email protected]> wrote:
> I wrote a search & replace perl script, which recursively searches
> files and replaces text in them. After replace, it restores original
> modification time (mtime) of file.
>
> Interesting, that git status doesn't show replaced changes, if the
> mtime is same as original.
>
> Is there a way to force git status to show changes, even if the file
> dates are the same?
Check out the `core.trustctime` and `core.checkstat` options.
On the other hand, I'd say that even those options won't do what you
want.
See also [1] which contains pointers to interesting discussions in
its most upvoted answer. From that discussion I gather that `git
status` relies on mtime but creating actual commit still rehashes all
the stuff so may be what's really required in your case is
`git add -f -u` or `git add -f -A`, I dunno.
1. http://stackoverflow.com/q/1778862/720999
--
You received this message because you are subscribed to the Google Groups
"Git for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to [email protected].
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "Git
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
