From 5ceebeb1d8a7c048ad6744d07320f5538aae69a0 Mon Sep 17 00:00:00 2001

From: "Jason A. Smith" <smithj4@bnl.gov>

Date: Tue, 8 Jan 2019 11:26:38 -0500

Subject: [PATCH] Added more pkinit_* options.

---

 lenses/krb5.aug | 3 ++-

 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lenses/krb5.aug b/lenses/krb5.aug

index 734ddde9..46c22656 100644

--- a/lenses/krb5.aug

+++ b/lenses/krb5.aug

@@ -85,7 +85,8 @@ let appdefaults =

 let realms =

   let simple_option = /kdc|admin_server|database_module|default_domain/

       |/v4_realm|auth_to_local(_names)?|master_kdc|kpasswd_server/

-      |/admin_server|ticket_lifetime|pkinit_anchors|krb524_server/ in

+      |/admin_server|ticket_lifetime|pkinit_(anchors|identities|identity|pool)/

+      |/krb524_server/ in

   let subsec_option = /v4_instance_convert/ in

   let option = subsec_entry simple_option eq comment in

   let subsec = [ indent . key subsec_option . eq_openbr .

-- 

2.24.1