jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/431302 )
Change subject: [bugfix] Don't pass script path to shell ......................................................................
[bugfix] Don't pass script path to shell
Bug: T193967 Change-Id: I28d7fb85e23d7690229f424d8be924806a77b873 --- M scripts/shell.py 1 file changed, 2 insertions(+), 2 deletions(-)
Approvals: Framawiki: Looks good to me, approved jenkins-bot: Verified
diff --git a/scripts/shell.py b/scripts/shell.py index f99183b..8b1ac12 100755 --- a/scripts/shell.py +++ b/scripts/shell.py @@ -35,7 +35,7 @@ os.system('title Python {} Shell'.format(*sys.version.split(' ', 1))) del os args = [] - if set(sys.argv) - {'shell', 'shell.py'}: - args = sys.argv + if sys.argv and sys.argv[0].endswith(('shell', 'shell.py')): + args = sys.argv[1:] del sys main(*args)