properties: support "/" in property names

hercules-team · Jun 12, 2020 · 0779993 · 0779993
1 parent 3cb0f4e
commit 0779993
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/lenses/properties.aug b/lenses/properties.aug
@@ -26,7 +26,7 @@ module Properties =
   let indent           = Util.indent
   let backslash        = del /[\\][ \t]*\n/ "\\\n"
   let opt_backslash    = del /([\\][ \t]*\n)?/ ""
-  let entry            = /([^ \t\r\n:=\/!#\\]|[\\]:|[\\]=|[\\][\t ]|[\\][^\/\r\n])+/
+  let entry            = /([^ \t\r\n:=!#\\]|[\\]:|[\\]=|[\\][\t ]|[\\][^\/\r\n])+/
 
   let multi_line_entry =
       [ indent . value_to_bs? . backslash ] .

diff --git a/lenses/tests/test_properties.aug b/lenses/tests/test_properties.aug
@@ -14,6 +14,8 @@ key: value
 key2:value2
 key3 :value3
 key4:=value4
+key5\"=value5
+key6/c=value6
 
 long.description=this is a description that happens to span \
 	more than one line with a combination of tabs and \
@@ -66,6 +68,8 @@ test lns get conf =
     { "key2" = "value2" }
     { "key3" = "value3" }
     { "key4" = "=value4" }
+    { "key5\"" = "value5" }
+    { "key6/c" = "value6" }
     {}
     { "long.description" = " < multi > "
         { = "this is a description that happens to span " }