[augeas-devel] [PATCH] Allow spaces in titles

raphink at gmail.com raphink at gmail.com
Fri Jul 25 09:43:18 UTC 2008


# HG changeset patch
# User Raphael Pinson <raphink at gmail.com>
# Date 1216978951 -7200
# Node ID 5446e28cdb27049f4da572372605cdb670fbb41d
# Parent  5f1e98d571c58345b81a247b42cc8a5d5fe07136
Allow spaces in titles

diff -r 5f1e98d571c5 -r 5446e28cdb27 lenses/inifile.aug
--- a/lenses/inifile.aug	Fri Jul 25 10:53:59 2008 +0200
+++ b/lenses/inifile.aug	Fri Jul 25 11:42:31 2008 +0200
@@ -34,7 +34,7 @@ module IniFile  =
 
     (* Define record *)
 
-    let title = Util.del_str "[" . store /[^] ]+/ . Util.del_str "]". eol
+    let title = Util.del_str "[" . store /[^]]+/ . Util.del_str "]". eol
     let record (label_name:string) (entry:lens) = [ label label_name . title . (entry | comment | empty)* ] 
     let record_setcomment (label_name:string) (entry:lens) (comment:lens) = [ label label_name . title . (entry | comment | empty)* ] 
     (* Some implementations of INI File do not allow empty lines *)




More information about the augeas-devel mailing list