Skip to content

Commit

Permalink
feat(explorer)[json-output]: enable by default
Browse files Browse the repository at this point in the history
  • Loading branch information
lukasrothenberger committed Oct 17, 2023
1 parent 3720c06 commit 3dca9c6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion discopop_explorer/__main__.py
Original file line number Diff line number Diff line change
Expand Up @@ -53,7 +53,7 @@ def parse_args() -> ExplorerArguments:
)
# flags related to output and formatting:
parser.add_argument(
"--json", type=str, nargs="?", default=None, const="explorer/patterns.json",
"--json", type=str, nargs="?", default="explorer/patterns.json",
help="Json output")
parser.add_argument(
"--profiling", type=str, nargs="?", default=None, const="explorer/profiling_stats.txt",
Expand Down

0 comments on commit 3dca9c6

Please sign in to comment.