jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/344429 )
Change subject: Inform user when user-config.py already exists ......................................................................
Inform user when user-config.py already exists
Bug: T160998 Change-Id: Ieb855944889361b87bee713e7e86a28bc7f7274f --- M generate_user_files.py 1 file changed, 4 insertions(+), 1 deletion(-)
Approvals: Dalba: Looks good to me, approved jenkins-bot: Verified
diff --git a/generate_user_files.py b/generate_user_files.py index 9e57594..74837a1 100755 --- a/generate_user_files.py +++ b/generate_user_files.py @@ -2,7 +2,7 @@ # -*- coding: utf-8 -*- """Script to create user-config.py.""" # -# (C) Pywikibot team, 2010-2016 +# (C) Pywikibot team, 2010-2017 # # Distributed under the terms of the MIT license. # @@ -358,6 +358,9 @@ # been replaced by an example file. if not os.path.isfile(os.path.join(base_dir, "user-config.py")): create_user_config(args, force=force) + else: + pywikibot.output('user-config.py already exists in the target ' + 'directory "{0}".'.format(base_dir))
if __name__ == '__main__': main()
pywikibot-commits@lists.wikimedia.org