lenses/grubenv.aug

   1 (* Parsing /boot/grub/grubenv *)
   2
   3 module GrubEnv =
   4   autoload xfm
   5
   6   let eol = Util.del_str "\n"
   7
   8   let comment = Util.comment
   9   let eq = Util.del_str "="
  10   let value   = /[^\\\n]*(\\\\(\\\\|\n)[^\\\n]*)*/
  11
  12   let word = /[A-Za-z_][A-Za-z0-9_]*/
  13   let record = [ seq "target" .
  14                  [ label "name" . store word ] . eq .
  15                  [ label "value" . store value ] . eol ]
  16
  17   let lns = ( comment | record ) *
  18
  19   let xfm = transform lns (incl "/boot/grub/grubenv" . incl "/boot/grub2/grubenv")