Re: [Python-ideas] Possible Enhancement to py Launcher - set default

Feb. 7, 2018
3:31 p.m.
On 7 February 2018 at 19:35, Steve Dower <steve.dower@python.org> wrote:
Fair enough. But there was a separate proposal to make the launcher handle non-PythonCore cases - there's a risk of conflicting feature requests here :-)
PEP 514 allows for other keys to be added as well (it specifies a minimum set), so we could just set one for this. “NoDefaultLaunch” or similar.
Sure - it could be purely a launcher convention, rather than having to be specifically noted in PEP 514. Paul
2597
Age (days ago)
2597
Last active (days ago)
0 comments
1 participants
participants (1)
-
Paul Moore