관리-도구

편집 파일: grubenv.aug

(* Parsing /boot/grub/grubenv *) module GrubEnv = autoload xfm let eol = Util.del_str "\n" let comment = Util.comment let eq = Util.del_str "=" let value = /[^\\\n]*(\\\\(\\\\|\n)[^\\\n]*)*/ let word = /[A-Za-z_][A-Za-z0-9_]*/ let record = [ seq "target" . [ label "name" . store word ] . eq . [ label "value" . store value ] . eol ] let lns = ( comment | record ) * let xfm = transform lns (incl "/boot/grub/grubenv" . incl "/boot/grub2/grubenv")