D7net
Home
Console
Upload
information
Create File
Create Folder
About
Tools
:
/
proc
/
self
/
root
/
opt
/
osquery
/
share
/
osquery
/
lenses
/
Filename :
device_map.aug
back
Copy
(* Parsing grub's device.map *) module Device_map = autoload xfm let sep_tab = Sep.tab let eol = Util.eol let fspath = Rx.fspath let del_str = Util.del_str let comment = Util.comment let empty = Util.empty let dev_name = /(h|f|c)d[0-9]+(,[0-9a-zA-Z]+){0,2}/ let dev_hex = Rx.hex let dev_dec = /[0-9]+/ let device = del_str "(" . key ( dev_name | dev_hex | dev_dec ) . del_str ")" let map = [ device . sep_tab . store fspath . eol ] let lns = ( empty | comment | map ) * let xfm = transform lns (incl "/boot/*/device.map") (* Local Variables: *) (* mode: caml *) (* End: *)