|
From: | Max Nikulin |
Subject: | Re: Error during PDF export but the PDF file is exported |
Date: | Thu, 20 Oct 2022 23:44:58 +0700 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.2.2 |
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.
[Prev in Thread] | Current Thread | [Next in Thread] |