One Hat Cyber Team

Your IP: 216.73.216.160
Server IP: 45.79.8.107
Server: Linux localhost 5.15.0-140-generic #150-Ubuntu SMP Sat Apr 12 06:00:09 UTC 2025 x86_64
Server Software: nginx/1.18.0
PHP Version: 8.1.2-1ubuntu2.21
Buat File | Buat Folder

Dir : ~/proc/self/root/usr/share/augeas/lenses/dist/

View File Name : device_map.aug

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