[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] cache and lint
From: |
Nicolas Goaziou |
Subject: |
Re: [O] cache and lint |
Date: |
Thu, 17 Dec 2015 15:31:17 +0100 |
Hello,
Andreas Leha <address@hidden> writes:
> I just had an error (something including "search" and "wrong side" ...)
> during org-lint. As it turned out this error went away after I ran
> `org-element-cache-reset'. Hence my question: Would it make sense to
> include running `org-element-cache-reset' into `org-lint'?
I don't think this should be the default, no. This will delete useful
information.
The cache bug leading to the error should be fixed, tho.
Regards,
--
Nicolas Goaziou