[augeas-devel] [PATCH 4 of 4] Use the new '-' operator for key_re

[David Lutterkort]

1 file changed, 1 insertion(+), 4 deletions(-)
lenses/yum.aug |    5 +----


# HG changeset patch
# User David Lutterkort <dlutter at redhat.com>
# Date 1210363162 25200
# Node ID b2281bea5a047a6b634e9db390d000f4bc5959c8
# Parent  57b32b999e8beedd1a014553d1b8a49c12f36b55
Use the new '-' operator for key_re

diff -r 57b32b999e8b -r b2281bea5a04 lenses/yum.aug
--- a/lenses/yum.aug	Fri May 09 12:59:21 2008 -0700
+++ b/lenses/yum.aug	Fri May 09 12:59:22 2008 -0700
@@ -4,10 +4,7 @@ module Yum =
 
   let eol = Util.del_str "\n"
 
-  (* Very painful: the regular expression is /[^#;:= \t\n[\/]/ - "baseurl" *)
-  (* Clearly, we need support for forming the setminus of regular          *)
-  (* languages.                                                            *)
-  let key_re = /([^b#;:= \t\n[\/]|b[^a#;:= \t\n[\/]|ba[^s#;:= \t\n[\/]|bas[^e#;:= \t\n[\/]|base[^u#;:= \t\n[\/]|baseu[^r#;:= \t\n[\/]|baseur[^l#;:= \t\n[\/]|baseurl[^#;:= \t\n[\/])[^#;:= \t\n[\/]*/
+  let key_re = /[^#;:= \t\n[\/]+/ - "baseurl"
 
   let eq = del /[ \t]*[:=][ \t]*/ "="
   let secname = /[^]\/]+/