Skip to content

Commit

Permalink
Update pepper/cli.py
Browse files Browse the repository at this point in the history
Add *_id output options as suggested by @eliasp

Co-authored-by: Elias Probst <[email protected]>
  • Loading branch information
ahktenzero and eliasp authored Apr 20, 2023
1 parent 17d1fd8 commit dea4bc3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion pepper/cli.py
Original file line number Diff line number Diff line change
Expand Up @@ -110,7 +110,7 @@ def parse(self):

self.parser.add_option(
'--state-output', dest='state_output', default="full", type="choice",
choices = [ "full", "terse", "mixed", "changes", "filter" ],
choices = [ "full", "full_id", "terse", "terse_id", "mixed", "mixed_id", "changes", "changes_id", "filter", "filter_id" ],
help=textwrap.dedent('''
Output mode for highstate formatter
''')
Expand Down

0 comments on commit dea4bc3

Please sign in to comment.