<div dir="auto">Your example does not correspond to <div dir="auto"><br></div><div dir="auto">    (entry | record)*</div><div dir="auto"><br></div><div dir="auto">Rather, it corresponds to</div><div dir="auto"><br></div><div dir="auto">    entry* . record*</div><div dir="auto"><br></div><div dir="auto">since entries inside records are not independent.</div><div dir="auto"><br></div><div dir="auto">Also, you're missing comment support:</div><div dir="auto"><br></div><div dir="auto">    (comment | entry)* . record*</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">Raphaël</div></div><br><div class="gmail_quote"><div dir="ltr">Le mar. 27 nov. 2018 à 17:29, Pino Toscano <<a href="mailto:ptoscano@redhat.com">ptoscano@redhat.com</a>> a écrit :<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Tuesday, 27 November 2018 16:06:01 CET Raphaël Pinson wrote:<br>
> The problem comes from line 36, where you can have either "entry" or<br>
> "record". From the looks of it, what you want is actually any number of<br>
> entries followed by any number of records, but not mixed entries and<br>
> records.<br>
<br>
This is what I understand as well, but it does not match what the<br>
configuration file allows.  semanage.conf allows mixed un-grouped<br>
entries, and groups in any order, e.g.:<br>
<br>
foo=var<br>
[group1]<br>
var=value<br>
[end]<br>
foo2=var2<br>
[group2]<br>
var=value<br>
[end]<br>
<br>
etc.<br>
<br>
-- <br>
Pino Toscano_______________________________________________<br>
augeas-devel mailing list<br>
<a href="mailto:augeas-devel@redhat.com" target="_blank" rel="noreferrer">augeas-devel@redhat.com</a><br>
<a href="https://www.redhat.com/mailman/listinfo/augeas-devel" rel="noreferrer noreferrer" target="_blank">https://www.redhat.com/mailman/listinfo/augeas-devel</a></blockquote></div>