Gecko [ 122.154.134.11 ]

Name	Size	Permission
dist	[ DIR ]	drwxr-xr-x
abrt.aug	321 B	-rw-r--r--
libreport.aug	1.02 KB	-rw-r--r--

Code Editor : libreport.aug

module Libreport =
    autoload xfm

(* Define useful primitives *)
    let value_sep    = del / ?= ?/ " = "
    let value_to_eol = store /([^ \t\n].*[^ \t\n]|[^ \t\n]?)/
    let eol          = del /\n/ "\n"
    let ident        = /[a-zA-Z][a-zA-Z_]+/

(* Define comment *)
    let comment = [ label "#comment" . del /#[ \t]*/ "# " . value_to_eol . eol ]

(* Define empty *)
    let empty = [ del /[ \t]*\n/ "\n" ]

(* Define option *)
    let option = [ del /[ \t]*/ "" . key ident . value_sep . value_to_eol . eol ]

(* Define lens *)
    let lns = ( comment | empty | option )*

let filter = (incl "/etc/libreport/plugins/*")
               . (incl "/etc/libreport/events/*")
               . (incl (Sys.getenv("HOME") . "/.config/abrt/settings/*"))
               . (incl (Sys.getenv("XDG_CACHE_HOME") . "/abrt/events/*"))
               . (incl (Sys.getenv("HOME") . "/.cache/abrt/events/*"))
               . (excl "/etc/libreport/events/*.xml")
               . Util.stdexcl

let xfm = transform lns filter

${this.title}

Code Editor : libreport.aug