Blame lenses/device_map.aug

Packit Service a2ae7a
(* Parsing grub's device.map *)
Packit Service a2ae7a
Packit Service a2ae7a
module Device_map =
Packit Service a2ae7a
  autoload xfm
Packit Service a2ae7a
Packit Service a2ae7a
  let sep_tab = Sep.tab
Packit Service a2ae7a
  let eol     = Util.eol
Packit Service a2ae7a
  let fspath  = Rx.fspath
Packit Service a2ae7a
  let del_str = Util.del_str
Packit Service a2ae7a
Packit Service a2ae7a
  let comment = Util.comment
Packit Service a2ae7a
  let empty   = Util.empty
Packit Service a2ae7a
Packit Service a2ae7a
  let dev_name = /(h|f|c)d[0-9]+(,[0-9a-zA-Z]+){0,2}/
Packit Service a2ae7a
  let dev_hex  = Rx.hex
Packit Service a2ae7a
  let dev_dec  = /[0-9]+/
Packit Service a2ae7a
Packit Service a2ae7a
  let device = del_str "(" . key ( dev_name | dev_hex | dev_dec ) .  del_str ")"
Packit Service a2ae7a
Packit Service a2ae7a
  let map = [ device . sep_tab . store fspath . eol ]
Packit Service a2ae7a
Packit Service a2ae7a
  let lns = ( empty | comment | map ) *
Packit Service a2ae7a
Packit Service a2ae7a
  let xfm = transform lns (incl "/boot/*/device.map")
Packit Service a2ae7a
Packit Service a2ae7a
(* Local Variables: *)
Packit Service a2ae7a
(* mode: caml *)
Packit Service a2ae7a
(* End: *)