* cache and lint
@ 2015-12-17 14:13 Andreas Leha
2015-12-17 14:31 ` Nicolas Goaziou
0 siblings, 1 reply; 3+ messages in thread
From: Andreas Leha @ 2015-12-17 14:13 UTC (permalink / raw)
To: emacs-orgmode
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
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: cache and lint
2015-12-17 14:13 cache and lint Andreas Leha
@ 2015-12-17 14:31 ` Nicolas Goaziou
2015-12-17 14:38 ` Andreas Leha
0 siblings, 1 reply; 3+ messages in thread
From: Nicolas Goaziou @ 2015-12-17 14:31 UTC (permalink / raw)
To: Andreas Leha; +Cc: emacs-orgmode
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
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: cache and lint
2015-12-17 14:31 ` Nicolas Goaziou
@ 2015-12-17 14:38 ` Andreas Leha
0 siblings, 0 replies; 3+ messages in thread
From: Andreas Leha @ 2015-12-17 14:38 UTC (permalink / raw)
To: emacs-orgmode
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
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2015-12-17 14:39 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2015-12-17 14:13 cache and lint Andreas Leha
2015-12-17 14:31 ` Nicolas Goaziou
2015-12-17 14:38 ` Andreas Leha
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.