# HG changeset patch
# User Raphael Pinson <[EMAIL PROTECTED]>
# Date 1218645987 -7200
# Node ID 60fca65f37441a84fbcff4b75b13398c43b01e5c
# Parent 0fecb892aefdeef53e5c73d7cfe2c862e1e79488
Use #comment for comment fields
diff -r 0fecb892aefd -r 60fca65f3744 lenses/inifile.aug
--- a/lenses/inifile.aug Wed Aug 13 18:20:22 2008 +0200
+++ b/lenses/inifile.aug Wed Aug 13 18:46:27 2008 +0200
@@ -27,7 +27,7 @@ let value_to_comment = Util.del_opt_ws
(* Some implementations of INI file allow "#" as a comment sign *)
let comment_generic (pat:regexp) (default:string)
- = [ label "comment" . sep_gen pat default
+ = [ label "#comment" . sep_gen pat default
. value_to_eol . eol ]
let comment = comment_generic /[#;]/ ";"
let comment_nosharp = comment_generic ";" ";"
_______________________________________________
augeas-devel mailing list
[email protected]
https://www.redhat.com/mailman/listinfo/augeas-devel
