Hello Edward, I think this approach, to keep py3 as a separate branch, is a good compromise. As far as I can see, the long-term-support versions of Ubuntu and derivatives still run on py2 per default. Installing another python version on top of this is not quite suitable for non-programmers. I still have not forgiven Guido for keeping the name of the default executable "python" in py3 instead of making python an alias for python2 and thereby keeping a clean separation to python3. In Windows there are now the py2 and py3 commands, but strangely not by default in linux, making cross-platform compatibility more of a pain. One reason, why I chose Python for my occasional small programming tasks is that it runs on Linux and Windows, usually without changes, and so does Leo.
I think sqlite did this right: sqlite refers to version 2, while version 3 is called sqlite3. This avoids any confusion and you can even have both installed at the same time. - Josef On Wednesday, February 20, 2019 at 11:32:55 AM UTC+1, Edward K. Ream wrote: > > On Tuesday, February 19, 2019 at 8:55:19 AM UTC-6, Edward K. Ream wrote: > > > ...there are costs associated with removing Python 2 compatibility... > > As I contemplate diving into Pharo, I see that Leo 5.8.2 might be Leo's > last version. Don't panic. I'll continue to work on Leo for as long as I > am able. > > This plan moots the question whether Leo will ever require Python 3. > Instead, the "py3" branch will become a permanent branch, as documented in > #1058 <https://github.com/leo-editor/leo-editor/issues/1058>. The idea is > to merge devel into py3 from time to time, but *never* the reverse. > > Edward > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.