jenkins-bot has submitted this change. ( https://gerrit.wikimedia.org/r/c/pywikibot/core/+/640947 )

Change subject: [IMPR] shell.py: use platform.python_version() in favour of sys.version ......................................................................

[IMPR] shell.py: use platform.python_version() in favour of sys.version

Change-Id: Ife674f2bd2b8d17434a31971a1c390a62d160a88 --- M scripts/shell.py 1 file changed, 3 insertions(+), 1 deletion(-)

Approvals: D3r1ck01: Looks good to me, approved jenkins-bot: Verified

diff --git a/scripts/shell.py b/scripts/shell.py index 2857154..2ff80da 100755 --- a/scripts/shell.py +++ b/scripts/shell.py @@ -50,10 +50,12 @@

if __name__ == '__main__': if sys.platform == 'win32': + import platform import subprocess subprocess.run('title Python {} Shell' - .format(*sys.version.split(' ', 1)), shell=True) + .format(platform.python_version()), shell=True) del subprocess + del platform args = [] if sys.argv and sys.argv[0].endswith(('shell', 'shell.py')): args = sys.argv[1:]