Merlijn van Deen has uploaded a new change for review. https://gerrit.wikimedia.org/r/80238
Change subject: Make family file generator work with broken user_config ...................................................................... Make family file generator work with broken user_config This reverts the removal of os.path.exists monkey patching that was done in 971d1150f66ddde5ea53def0c7e8f0e1edbd763c, which means config.py will not find any user-config.py file. However, we also restore the functionality after importing config, because importing wikipedia requires a working os.path.exists. Change-Id: I050d050dee536d0c44589651bff4dce866c50942 --- M generate_family_file.py 1 file changed, 7 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/pywikibot/compat refs/changes/38/80238/1 diff --git a/generate_family_file.py b/generate_family_file.py index 06464c9..05b264f 100644 --- a/generate_family_file.py +++ b/generate_family_file.py @@ -32,10 +32,16 @@ import wikipediatools wikipediatools.get_base_dir = lambda: '.' -# Set some config settings +# Set some config settings, but monkey-patch os.path.exists to prevent loading user_config.py +import os +oldexists = os.path.exists +os.path.exists = lambda x: False + import config config.mylang = 'en' +os.path.exists = oldexists + # Now we can boot the framework import wikipedia import family -- To view, visit https://gerrit.wikimedia.org/r/80238 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I050d050dee536d0c44589651bff4dce866c50942 Gerrit-PatchSet: 1 Gerrit-Project: pywikibot/compat Gerrit-Branch: master Gerrit-Owner: Merlijn van Deen <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
