jenkins-bot has submitted this change and it was merged.
Change subject: make-release: basic logging support
......................................................................
make-release: basic logging support
logging is a nice module to log message based on levels. The default is
INFO, the patch adds --debug (DEBUG level) and --quiet (WARNING level).
Unused yet.
Change-Id: I59159e9c5212768e8683a5bc65a963f357a811f3
---
M make-release/make-release.py
1 file changed, 17 insertions(+), 0 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/make-release/make-release.py b/make-release/make-release.py
index 29da349..237e28a 100755
--- a/make-release/make-release.py
+++ b/make-release/make-release.py
@@ -11,6 +11,7 @@
"""
import argparse
+import logging
import os
import re
import subprocess
@@ -103,6 +104,17 @@
help='version that came before')
# Optional arguments:
+
+ log_options = parser.add_mutually_exclusive_group()
+ log_options.add_argument(
+ '--debug', dest='log_level',
+ action='store_const', const=logging.DEBUG,
+ help='Print out internal processing')
+ log_options.add_argument(
+ '-q', '--quiet', dest='log_level',
+ action='store_const', const=logging.WARNING,
+ help='Only shows up warning and errors')
+
parser.add_argument(
'-y', '--yes', dest='yes', action='store_true',
help='answer yes to any question'
@@ -603,5 +615,10 @@
if __name__ == '__main__':
options = parse_args()
+
+ if options.log_level is None:
+ options.log_level = logging.INFO
+
+ logging.basicConfig(level=options.log_level, stream=sys.stderr)
app = MakeRelease(options)
sys.exit(app.main())
--
To view, visit https://gerrit.wikimedia.org/r/95782
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I59159e9c5212768e8683a5bc65a963f357a811f3
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
