On Tuesday, 4 January 2022 10.56.51 WET Kornel Benko wrote:
> There is one:
> File 'preferences' is not updated, so I had to manually change occurrences
> of 'python', 'python3' and 'python -tt' to '$${python}'.
>
> The changed lines in preferences here:
> $ egrep python preferences
>
> \converter "docbook5" "epub2" "$${python} $$s/scripts/docbook2epub.py java
> none none none $$i $$o" ""
> \converter "pygr" "eps" "$${python} $$i $$o" ""
> \copier pdflatex "$${python} $$s/scripts/ext_copy.py -e pdf,aux -d $$i $$o"
>
> Kornel
You raise a good point. What should we do with current preferences?
I am not completly sure that you should do it automatically... Probably
checking for the canonical form "python -tt"?
If we decide to do it then probably the right path is add a new format and
change pref2pref.py in lib/scripts.
What is the general sentiment regarding this change in preferences?
Best regards,
--
José Abílio
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
