When a file is moved, its mtime remains unchanged locally (with caching enabled) even though it changes remotely in S3, which creates inconsistencies until the filesystem is re-mounted.
In the spirit of making things more predictable (less error-prone), could goofys perhaps update the local mtime of moved files to stay consistent with remote S3 timestamps?
When a file is moved, its
mtime
remains unchanged locally (with caching enabled) even though it changes remotely in S3, which creates inconsistencies until the filesystem is re-mounted.In the spirit of making things more predictable (less error-prone), could goofys perhaps update the local
mtime
of moved files to stay consistent with remote S3 timestamps?