Am Montag, den 24.08.2020, 13:08 +0200 schrieb Pavel Sanda: > Seems to work (except filenames with spaces).
Filenames with spaces work fine for me. > Anyway, feel free to commit any version of this script as well. I propose to replace the bash script with this, as the python script does all the bash script does, and more. And we don't have to ship bash scripts. But I won't do that myself and just add the python script for the time being. > I'll try to draft some documentation. Thanks. In the long run, I would make its use easier though. Add a pref to activate "Search for files on disk" (off by default), which uses the script from the scripts dir if enabled. Jürgen
signature.asc
Description: This is a digitally signed message part
-- lyx-devel mailing list [email protected] http://lists.lyx.org/mailman/listinfo/lyx-devel
