On Mon, Aug 24, 2020 at 12:57:00PM +0200, Jürgen Spitzmüller wrote: > Well, that's what I meant when I said we could try and use locate if > possible (and maybe something comparable on other OSes) and only fall > back to the slower method if that doesn't play. > > The attached version of the python script does that (tentatively).
Seems to work (except filenames with spaces). Anyway, feel free to commit any version of this script as well. I'll try to draft some documentation. Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
