On 7 February 2018 at 19:35, Steve Dower steve.dower@python.org wrote:

Checking the Version (!=SysVersion) property should be enough (and perhaps we need to set it properly on install). The launcher currently only works with PythonCore entries anyway, so no need to worry about other distros.

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