Max Nikulin <maniku...@gmail.com> writes: > 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.
You are right, that patch should fix this problem as well. For some reason, I only remembered that patch as something that concerns tangling. Now, applied. Pascal, could you please try the latest main and see if the problem is fixed? -- Ihor Radchenko // yantar92, Org mode contributor, Learn more about Org mode at <https://orgmode.org/>. Support Org development at <https://liberapay.com/org-mode>, or support my work at <https://liberapay.com/yantar92>
