On 6/25/19 10:01 AM, Jean-Marc Lasgouttes wrote: > Le 25/06/2019 à 15:21, Michael Roitzsch a écrit : >> Hi JMarc, >> >>> I paused a bit at first due to the remark from Günter: >>>> I remember that some people complained because of delays when symlinks >>>> point to removable media or "the cloud". So there might be no "one >>>> setting >>>> fits all" approach. >>> >>> But now I think that the TeX is supposed to search everywhere in >>> these directories anyway, so we should do the same IMO. Günter, do >>> you agree? >> >> I understand the concern, but I do feel the same way. TeX will scan >> these directories as well. And on the LyX side, I understand that the >> scan result is cached, so it will not be a continuous burden. >> > > I pushed the patch to master at 642b4acc. Riki, OK for backport?
Yes. Riki