cache and lint

cache and lint

[Andreas Leha]

Hi all,

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'?

Best,
Andreas

Re: cache and lint

[Nicolas Goaziou]

Hello,

Andreas Leha <andreas.leha@med.uni-goettingen.de> 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

Re: cache and lint

[Andreas Leha]

Hi Nicolas,

Nicolas Goaziou <mail@nicolasgoaziou.fr> writes:
> Hello,
>
> Andreas Leha <andreas.leha@med.uni-goettingen.de> 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.

I know next to nothing about all the internals here, so I guess you are
right.  My motivation to write here was just to minimize the chance that
org-lint reports errors that are not caused by the document itself.

>
> The cache bug leading to the error should be fixed, tho.

I am sorry, that I cannot be of more help anymore.  Luckily, the error
is gone right now...

Regards,
Andreas