On 20/10/2022 12:12, Ihor Radchenko wrote:
What I wanted to say is that `current-time' is good enough if we export to local file.
Since the patch was not posted to the mailing list, I may be wrong due to some rather wild assumption.
Paul Eggert convinced me that generally it is a bad idea to compare wall (system) time and file time. They may have different resolution or may have significant offset. Notice that the following pending patch modifies time handling in `org-compile-file', however I have not tested it for remote files:
Max Nikulin. [PATCH v2] org-macs.el: Do not compare wall time and file modification time. Sun, 9 Oct 2022 15:18:04 +0700. https://list.orgmode.org/thu03t$16vt$1...@ciao.gmane.io
I am sorry that I did not join to this thread earlier.