Skip to content

Commit

Permalink
Add --indentation to vary spacing in JSON report
Browse files Browse the repository at this point in the history
Some environments may want control over this to make working with
existing style-guides easier.

Co-authored-by: Jeppe Fihl-Pearson <[email protected]>
  • Loading branch information
meshy and Tenzer committed Jan 31, 2023
1 parent eeaccc4 commit 5bb967c
Showing 1 changed file with 8 additions and 1 deletion.
9 changes: 8 additions & 1 deletion mypy_json_report.py
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,13 @@ def main() -> None:
parse_parser = subparsers.add_parser(
"parse", help="Transform Mypy output into JSON."
)
parse_parser.add_argument(
"-i",
"--indentation",
type=int,
default=2,
help="Number of spaces to indent JSON output.",
)

parse_parser.set_defaults(func=_parse_command)

Expand All @@ -50,7 +57,7 @@ def main() -> None:
def _parse_command(args: argparse.Namespace) -> None:
"""Handle the `parse` command."""
errors = parse_errors_report(sys.stdin)
error_json = json.dumps(errors, sort_keys=True, indent=2)
error_json = json.dumps(errors, sort_keys=True, indent=args.indentation)
print(error_json)


Expand Down

0 comments on commit 5bb967c

Please sign in to comment.