[SERVER-14827] Add option to errorcodes.py to skip generating report file Created: 07/Aug/14  Updated: 18/Aug/14  Resolved: 14/Aug/14

Status: Closed
Project: Core Server
Component/s: Build
Affects Version/s: None
Fix Version/s: 2.7.5

Type: Improvement Priority: Major - P3
Reporter: Spencer Brody (Inactive) Assignee: Spencer Brody (Inactive)
Resolution: Done Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Backwards Compatibility: Fully Compatible
Participants:

 Description   

Running "python errorcodes.py" will always generate/update the docs/errors.md file, which is tracked by git and pollutes the git checkout. We should add an option so we can skip generating that file and keep the checkout clean.



 Comments   
Comment by Githook User [ 14/Aug/14 ]

Author:

{u'username': u'stbrody', u'name': u'Spencer T Brody', u'email': u'spencer@mongodb.com'}

Message: SERVER-14827 Do not generate reports by default in errorcodes.py
Branch: master
https://github.com/mongodb/mongo/commit/998ed782161c493ceb766e17deb2b0550dca2c7c

Comment by Spencer Brody (Inactive) [ 07/Aug/14 ]

For context why this came up, I have a git pre-push hook that checks for duplicate error codes before I try to push. Currently every time I run 'git push' I need to run 'git reset --hard' after to clean up the modified errors.md file

Comment by Spencer Brody (Inactive) [ 07/Aug/14 ]

We could also consider making not generating the report the default and have an option to say we do want the report. We could also consider just removing this functionality entirely, I'm not sure how much it's used.

Generated at Thu Feb 08 03:36:06 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.