Re: [O] cache and lint
Hi Nicolas, Nicolas Goaziou writes: > Hello, > > Andreas Leha 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
Re: [O] cache and lint
Hello, Andreas Leha 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
[O] cache and lint
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