Re: [git-users] git checkout file with custom mtime

Daniel,


Do you use the Git LFS (Large File System) add-on?, are you on Windows 
or Linux?, and what tools need mtime (or is it something about the 
process of using the tool..)?

The Git viewpoint is that the mtime shouldn't be important for the 
version storage & control aspects, though it maybe for the external 
compiler tooling, so they do tend to try to keep the mtime/ctime consistent.

I'm not aware of specific capability to do what you ask, but it may be 
worth discussing this on the git mailing list "Git List 
[off-list ref]" (which only accepts 100% plain text, no HTML, 
messages). The mailing list archive is at 
https://public-inbox.org/git/?q= where you can search for mtime/ctime 
discussions.

There will be a Git developer conference at the end of the month, so it 
is worth raining it soonish, even if it becomes an add on the fires via 
a post checkout hook that updates the mtimes from a stored file of 
'true' mtimes (plus updates the index's view of those mtimes.

Philip

On 05/01/2019 13:33, Daniel Fanjul wrote:

Hi all,

I have some large files tracked in git and I have to track their mtime 
because of some legacy software. With another tool I save and restore 
their mtime. When I restore their mtime git status rereads the files 
to update the mtime in the index. I would like to improve that because 
there are too many files, the whole I/O is too slow and the whole 
process is triggered too often.

I would like a way to tell git to checkout a file and set a given 
mtime at the same time so the index is updated with the mtime but the 
file is not rewritten because the working copy is clean. This would 
solve my problem. Do you know a way to do this?

Do you know any other way to handle this properly?

Thanks in advance, and happy new year,
Daniel.
-- 
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 git-users+unsubscribe@googlegroups.com 
<mailto:git-users+unsubscribe@googlegroups.com>.
For more options, visit https://groups.google.com/d/optout.