lenses/device_map.aug

   1 (* Parsing grub's device.map *)
   2
   3 module Device_map =
   4   autoload xfm
   5
   6   let sep_tab = Sep.tab
   7   let eol     = Util.eol
   8   let fspath  = Rx.fspath
   9   let del_str = Util.del_str
  10
  11   let comment = Util.comment
  12   let empty   = Util.empty
  13
  14   let dev_name = /(h|f|c)d[0-9]+(,[0-9a-zA-Z]+){0,2}/
  15   let dev_hex  = Rx.hex
  16   let dev_dec  = /[0-9]+/
  17
  18   let device = del_str "(" . key ( dev_name | dev_hex | dev_dec ) .  del_str ")"
  19
  20   let map = [ device . sep_tab . store fspath . eol ]
  21
  22   let lns = ( empty | comment | map ) *
  23
  24   let xfm = transform lns (incl "/boot/*/device.map")
  25
  26 (* Local Variables: *)
  27 (* mode: caml *)
  28 (* End: *)