<div dir="ltr"><br><br><div class="gmail_quote">On Fri, Aug 15, 2008 at 2:33 AM, David Lutterkort <span dir="ltr"><<a href="mailto:dlutter@redhat.com">dlutter@redhat.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">On Thu, 2008-08-14 at 17:52 +0200, Raphael Pinson wrote:<br>
> # HG changeset patch<br>
> # User Raphael Pinson <<a href="mailto:raphink@gmail.com">raphink@gmail.com</a>><br>
> # Date 1218728917 -7200<br>
> # Node ID 2d254500331759e7334d28d5af680e4b360da724<br>
> # Parent  9dfd488a44716a108971f084228d36dd1d682476<br>
> Rewrite inifile.aug entirely<br>
<br>
</div>I like where this is going; </blockquote><div><br><br>I'm happy of this.<br><br><br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
one suggestion:<br>
<div class="Ih2E3d"><br>
> +let record_noempty (title:lens) (entry:lens)<br>
> +                       = [ title<br>
> +                    . entry* ]<br>
> +let record (title:lens) (entry:lens)<br>
> +                       = record_noempty title ( entry | empty )<br>
> +let record_re          = ( /[^]\n\/]+/ - /#comment/ )<br>
> +let record_label_re    = /[^]\n]+/<br>
<br>
</div>What do you think about renaming all the lenses that have 'record' in<br>
their name to 'section...', since that's what they are dealing with ? If<br>
you agree, don't worry about making that change now ... I can do that<br>
easily after your patch series has been committed, otherwise the patches<br>
will get too confusing.<br>
<font color="#888888"></font></blockquote><div><br><br>Yes, I agree that 'section' would be nicer for INI files. I will finish to set all this, and I'll send a patch to rename all 'record' to 'section' afterwards as you suggested.<br>
<br><br> Raphael</div></div><br></div>