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: *)
|