On Wed, Jan 05, 2022 at 12:25:00PM +0000, José Abílio Matos wrote:
> 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?
I am not sure either. The conversion to $${python} would be probably
better, but given variety of python commands users can insert I am
not sure we can write robust conversion routine.
We could perhaps just detect "python" without and issue warning?
Pavel
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
