From dea4bc3102adbba8d85b4fb4bdafd152962d8990 Mon Sep 17 00:00:00 2001
From: James TD Smith <ahktenzero+github@mohorovi.cc>
Date: Thu, 20 Apr 2023 21:26:01 +0100
Subject: [PATCH] Update pepper/cli.py

Add *_id output options as suggested by @eliasp

Co-authored-by: Elias Probst <mail@eliasprobst.eu>
---
 pepper/cli.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pepper/cli.py b/pepper/cli.py
index 2048203..cd26dfb 100644
--- a/pepper/cli.py
+++ b/pepper/cli.py
@@ -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
             ''')