[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Error during PDF export but the PDF file is exported
From: |
Ihor Radchenko |
Subject: |
Re: Error during PDF export but the PDF file is exported |
Date: |
Fri, 21 Oct 2022 03:29:26 +0000 |
Max Nikulin <manikulin@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>
- Re: Error during PDF export but the PDF file is exported, Ihor Radchenko, 2022/10/16
- Message not available
- Message not available
- Message not available
- Re: Error during PDF export but the PDF file is exported, Ihor Radchenko, 2022/10/19
- Re: Error during PDF export but the PDF file is exported, Pascal Quesseveur, 2022/10/19
- Re: Error during PDF export but the PDF file is exported, Ihor Radchenko, 2022/10/20
- Re: Error during PDF export but the PDF file is exported, Max Nikulin, 2022/10/20
- Re: Error during PDF export but the PDF file is exported,
Ihor Radchenko <=
- Re: Error during PDF export but the PDF file is exported, Pascal Quesseveur, 2022/10/21