^^&&^^

Edit File: jettyrealm.aug

(*
Module: JettyRealm
  JettyRealm Properties for Augeas

Author: Brian Redbeard <redbeard@dead-city.org>

About: Reference
  This lens ensures that properties files for JettyRealms are properly
  handled by Augeas.

About: License
  This file is licensed under the LGPL License.

About: Lens Usage
  Sample usage of this lens in augtool:

* Create a new user
      > ins user  after /files/etc/activemq/jetty-realm.properties/user
      > set /files/etc/activemq/jetty-realm.properties/user[last()]/username redbeard
      > set /files/etc/activemq/jetty-realm.properties/user[last()]/password testing
      > set /files/etc/activemq/jetty-realm.properties/user[last()]/realm admin
      ...

* Delete the user named sample_user
      > rm /files/etc/activemq/jetty-realm.properties/user[*][username = "sample_user"]

Saving your file:

> save

About: Configuration files
  This lens applies to jetty-realm.properties files. See <filter>.
*)

module JettyRealm =
        autoload xfm

(* View: comma_sep *)
let comma_sep = del /,[ \t]*/ ", "

(* View: realm_entry *)
let realm_entry = [ label "user" .
                    [ label "username" . store Rx.word ] . del /[ \t]*:[ \t]*/ ": " .
                    [ label "password" . store Rx.word ] . 
                    [ label "realm" . comma_sep . store Rx.word ]* .
                    Util.eol ]

(* View: lns *)
let lns = ( Util.comment | Util.empty | realm_entry )*

(* Variable: filter *)
let filter = incl "/etc/activemq/jetty-realm.properties"

let xfm = transform lns filter