Web lists-archives.com

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


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 <git@xxxxxxxxxxxxxxx>" (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.


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,
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@xxxxxxxxxxxxxxxx <mailto:git-users+unsubscribe@xxxxxxxxxxxxxxxx>.
For more options, visit https://groups.google.com/d/optout.