Status of Master?

[Pavel Sanda]

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