<div dir="ltr"><br><br><div class="gmail_quote">On Wed, Aug 27, 2008 at 12:18 PM, Free Ekanayaka <span dir="ltr"><<a href="mailto:free@64studio.com">free@64studio.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;">
# HG changeset patch<br>
# User Free Ekanayaka <<a href="mailto:free@64studio.com">free@64studio.com</a>><br>
# Date 1219832278 -7200<br>
# Node ID 634a7dc64d3727a303584362341842ba28a5a340<br>
# Parent  33bcfcf2ae045c3f18c8d9eeddaed96746810ecd<br>
Support empty comments, like lines beginning with ";" or "#" but without any more text<br>
<br>
diff -r 33bcfcf2ae04 -r 634a7dc64d37 lenses/inifile.aug<br>
--- a/lenses/inifile.aug        Wed Aug 27 11:56:10 2008 +0200<br>
+++ b/lenses/inifile.aug        Wed Aug 27 12:17:58 2008 +0200<br>
@@ -32,7 +32,7 @@ let sto_to_comment     = Util.del_opt_ws<br>
 (* Define comment and defaults *)<br>
 let comment (pat:regexp) (default:string)<br>
                        = [ label "#comment" . sep pat default<br>
-                        . sto_to_eol . eol ]<br>
+                        . sto_to_eol? . eol ]<br>
 let comment_re         = /[;#]/<br>
 let comment_default    = ";"<br>
</blockquote><div><br><br>Now that's where I was left experimenting last week, and was down to that same state. But then, I did something like this (which I cannot do right now because I've played so much that my inifile.aug is broken on this machine ;)).<br>
<br>* fire up augtool <br>* print an INI File with empty comments in it ('# \n' for example)<br>* change a value in this INI File (whatever value, really)<br>* save<br><br>When I tried this, augeas refused to save (since version 0.3.0, it worked before), saying that NULL is not a proper value for the "#comment" node. I've since tried with other stuff, like empty values in dput.aug (e.g. 'pre_upload_command =', which is fine) and get the same result.<br>
<br>Could you try it on your side Free?<br><br><br>Cheers<br><br><br>Raphaël<br><br><br></div></div><br></div>