jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/426815 )
Change subject: [FEAT] Show the python version when starting pwb shell
......................................................................
[FEAT] Show the python version when starting pwb shell
- Show the python version as command line title on windows when starting
the shell script. This is usefull for example if you have different
python versions installed and start one of them with the python
launcher. This shows the started version.
Change-Id: Iabeca656ab2739e117c3704047ec5c827f26803c
---
M scripts/shell.py
1 file changed, 4 insertions(+), 0 deletions(-)
Approvals:
Framawiki: Looks good to me, approved
jenkins-bot: Verified
diff --git a/scripts/shell.py b/scripts/shell.py
index 07b16af..f99183b 100755
--- a/scripts/shell.py
+++ b/scripts/shell.py
@@ -30,6 +30,10 @@
if __name__ == "__main__":
import sys
+ if sys.platform == 'win32':
+ import os
+ os.system('title Python {} Shell'.format(*sys.version.split(' ', 1)))
+ del os
args = []
if set(sys.argv) - {'shell', 'shell.py'}:
args = sys.argv
--
To view, visit https://gerrit.wikimedia.org/r/426815
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-MessageType: merged
Gerrit-Change-Id: Iabeca656ab2739e117c3704047ec5c827f26803c
Gerrit-Change-Number: 426815
Gerrit-PatchSet: 1
Gerrit-Owner: Xqt <i...@gno.de>
Gerrit-Reviewer: Framawiki <framaw...@tools.wmflabs.org>
Gerrit-Reviewer: John Vandenberg <jay...@gmail.com>
Gerrit-Reviewer: Xqt <i...@gno.de>
Gerrit-Reviewer: Zoranzoki21 <zorandori4...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
Pywikibot-commits mailing list
Pywikibot-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/pywikibot-commits
