John Vandenberg has uploaded a new change for review.
https://gerrit.wikimedia.org/r/208502
Change subject: Consume global arg -dir in handle_args
......................................................................
Consume global arg -dir in handle_args
If not consumed, it is returned as a local arg.
Change-Id: Ic549617ec6204ae342e792c4baff7ee44f725c17
---
M pywikibot/bot.py
1 file changed, 2 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/pywikibot/core
refs/changes/02/208502/1
diff --git a/pywikibot/bot.py b/pywikibot/bot.py
index 4088f06..de68ebd 100644
--- a/pywikibot/bot.py
+++ b/pywikibot/bot.py
@@ -729,6 +729,8 @@
for arg in args:
if do_help is not False and arg == '-help':
do_help = True
+ elif arg.startswith('-dir:'):
+ pass
elif arg.startswith('-family:'):
config.family = arg[len("-family:"):]
elif arg.startswith('-lang:'):
--
To view, visit https://gerrit.wikimedia.org/r/208502
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic549617ec6204ae342e792c4baff7ee44f725c17
Gerrit-PatchSet: 1
Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-Owner: John Vandenberg <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
