<div dir="ltr"><br><br><div class="gmail_quote">On Fri, Jul 25, 2008 at 8:43 PM, 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 Fri, 2008-07-25 at 13:45 +0200, <a href="mailto:raphink@gmail.com">raphink@gmail.com</a> wrote:<br>
> # HG changeset patch<br>
> # User Raphael Pinson <<a href="mailto:raphink@gmail.com">raphink@gmail.com</a>><br>
> # Date 1216986332 -7200<br>
> # Node ID 1b45132a77ca0062db7c401ef110d280de16888b<br>
> # Parent  86411abff2eec6aa4364b7d3f43fe2e94e3ab31c<br>
> Allow spaces in entry values<br>
><br>
> diff -r 86411abff2ee -r 1b45132a77ca lenses/inifile.aug<br>
> --- a/lenses/inifile.aug      Fri Jul 25 13:22:27 2008 +0200<br>
> +++ b/lenses/inifile.aug      Fri Jul 25 13:45:32 2008 +0200<br>
> @@ -11,7 +11,7 @@ module IniFile  =<br>
>      let value_sep          = del /[ \t]*=/ " = "<br>
>      let value_sepwithcolon = del /[ \t]*(=|:)/ " = "<br>
>      let value_to_eol       = del /[ \t]*/ " " . store /([^ \t\n].*[^ \t\n]|[^ \t\n])/<br>
> -    let value_to_comment   = del /[ \t]*/ "" . store /[^;# \t\n]+/<br>
> +    let value_to_comment   = del /[ \t]*/ " " . store /[^;# \t\n][^;#\n]*[^;# \t\n]|[^;# \t\n]/<br>
<br>
</div>Is the change of default for del intentional ?<br>
<font color="#888888"></font></blockquote><div><br>It is, but it is wrong indeed. Actually, since I was managing the
spaces before the values in value_sep(withcolon)? before, then I should
also change the default for value_sep(withcolon)? to " =" instead of "
= ".<br>
<br>Or do you think that the default for INI files should be without spaces at all?<br><br>Raphael </div></div><br></div>