D7net
Home
Console
Upload
information
Create File
Create Folder
About
Tools
:
/
usr
/
share
/
augeas
/
lenses
/
dist
/
Filename :
grub.aug
back
Copy
(* Module: Grub Parses grub configuration Author: David Lutterkort <lutter@redhat.com> About: License This file is licenced under the LGPL v2+, like the rest of Augeas. About: Lens Usage To be documented *) module Grub = autoload xfm (* This only covers the most basic grub directives. Needs to be *) (* expanded to cover more (and more esoteric) directives *) (* It is good enough to handle the grub.conf on my Fedora 8 box *) (************************************************************************ * Group: USEFUL PRIMITIVES *************************************************************************) (* View: value_to_eol *) let value_to_eol = store /[^= \t\n][^\n]*[^= \t\n]|[^= \t\n]/ (* View: eol *) let eol = Util.eol (* View: spc *) let spc = Util.del_ws_spc (* View: opt_ws *) let opt_ws = Util.del_opt_ws "" (* View: dels *) let dels (s:string) = Util.del_str s (* View: eq *) let eq = dels "=" (* View: switch *) let switch (n:regexp) = dels "--" . key n (* View: switch_arg *) let switch_arg (n:regexp) = switch n . eq . store Rx.no_spaces (* View: value_sep *) let value_sep (dflt:string) = del /[ \t]*[ \t=][ \t]*/ dflt (* View: comment_re *) let comment_re = /([^ \t\n].*[^ \t\n]|[^ \t\n])/ - /# ## (Start|End) Default Options ##/ (* View: comment *) let comment = [ Util.indent . label "#comment" . del /#[ \t]*/ "# " . store comment_re . eol ] (* View: empty *) let empty = Util.empty (************************************************************************ * Group: USEFUL FUNCTIONS *************************************************************************) (* View: command *) let command (kw:regexp) (indent:string) = Util.del_opt_ws indent . key kw (* View: kw_arg *) let kw_arg (kw:regexp) (indent:string) (dflt_sep:string) = [ command kw indent . value_sep dflt_sep . value_to_eol . eol ] (* View: kw_boot_arg *) let kw_boot_arg (kw:regexp) = kw_arg kw "\t" " " (* View: kw_menu_arg *) let kw_menu_arg (kw:regexp) = kw_arg kw "" " " (* View: password_arg *) let password_arg = [ command "password" "" . (spc . [ switch "md5" ])? . (spc . [ switch "encrypted" ])? . spc . store (/[^ \t\n]+/ - /--[^ \t\n]+/) . (spc . [ label "file" . store /[^ \t\n]+/ ])? . eol ] (* View: kw_pres *) let kw_pres (kw:string) = [ opt_ws . key kw . eol ] (* View: error * Parse a line that looks almost like a valid setting, but isn't, * into an '#error' node. Any line that starts with letters, but not * anything matching kw, is considered an error line. * * Parameters: * kw:regexp - the valid keywords that are _not_ considered an * error *) let error (kw:regexp) = let not_kw = /[a-zA-Z]+/ - kw in [ label "#error" . Util.del_opt_ws "\t" . store (not_kw . /([^a-zA-Z\n].*[^ \t\n])?/) . eol ] (************************************************************************ * Group: BOOT ENTRIES *************************************************************************) (* View: device * This is a shell-only directive in upstream grub; the grub versions * in at least Fedora/RHEL use this to find devices for UEFI boot *) let device = [ command "device" "" . Sep.space . store /\([A-Za-z0-9_.-]+\)/ . spc . [ label "file" . value_to_eol ] . Util.eol ] (* View: color *) let color = (* Should we nail it down to exactly the color names that *) (* grub supports ? *) let color_name = store /[A-Za-z-]+/ in let color_spec = [ label "foreground" . color_name] . dels "/" . [ label "background" . color_name ] in [ opt_ws . key "color" . spc . [ label "normal" . color_spec ] . (spc . [ label "highlight" . color_spec ])? . eol ] (* View: serial *) let serial = [ command "serial" "" . [ spc . switch_arg /unit|port|speed|word|parity|stop|device/ ]* . eol ] (* View: terminal *) let terminal = [ command "terminal" "" . ([ spc . switch /dumb|no-echo|no-edit|silent/ ] |[ spc . switch_arg /timeout|lines/ ])* . [ spc . key /console|serial|hercules/ ]* . eol ] (* View: setkey *) let setkey = [ command "setkey" "" . ( spc . [ label "to" . store Rx.no_spaces ] . spc . [ label "from" . store Rx.no_spaces ] )? . eol ] (* View: menu_entry *) let menu_entry = kw_menu_arg "default" | kw_menu_arg "fallback" | kw_pres "hiddenmenu" | kw_menu_arg "timeout" | kw_menu_arg "splashimage" | kw_menu_arg "gfxmenu" | kw_menu_arg "foreground" | kw_menu_arg "background" | kw_menu_arg "verbose" | kw_menu_arg "boot" (* only for CLI, ignored in conf *) | serial | terminal | password_arg | color | device | setkey (* View: menu_error * Accept lines not matching menu_entry and stuff them into * '#error' nodes *) let menu_error = let kw = /default|fallback|hiddenmenu|timeout|splashimage|gfxmenu/ |/foreground|background|verbose|boot|password|title/ |/serial|setkey|terminal|color|device/ in error kw (* View: menu_setting * a valid menu setting or a line that looks like one but is an #error *) let menu_setting = menu_entry | menu_error (* View: title *) let title = del /title[ \t=]+/ "title " . value_to_eol . eol (* View: multiboot_arg * Permits a second form for Solaris multiboot kernels that * take a path (with a slash) as their first arg, e.g. * /boot/multiboot kernel/unix another=arg *) let multiboot_arg = [ label "@path" . store (Rx.word . "/" . Rx.no_spaces) ] (* View: kernel_args Parse the file name and args on a kernel or module line. *) let kernel_args = let arg = /[A-Za-z0-9_.$\+-]+/ - /type|no-mem-option/ in store /(\([a-z0-9,]+\))?\/[^ \t\n]*/ . (spc . multiboot_arg)? . (spc . [ key arg . (eq. store /([^ \t\n])*/)?])* . eol (* View: module_line Solaris extension adds module$ and kernel$ for variable interpolation *) let module_line = [ command /module\$?/ "\t" . spc . kernel_args ] (* View: map_line *) let map_line = [ command "map" "\t" . spc . [ label "from" . store /[()A-za-z0-9]+/ ] . spc . [ label "to" . store /[()A-za-z0-9]+/ ] . eol ] (* View: kernel *) let kernel = [ command /kernel\$?/ "\t" . (spc . ([switch "type" . eq . store /[a-z]+/] |[switch "no-mem-option"]))* . spc . kernel_args ] (* View: chainloader *) let chainloader = [ command "chainloader" "\t" . [ spc . switch "force" ]? . spc . store Rx.no_spaces . eol ] (* View: savedefault *) let savedefault = [ command "savedefault" "\t" . (spc . store Rx.integer)? . eol ] (* View: configfile *) let configfile = [ command "configfile" "\t" . spc . store Rx.no_spaces . eol ] (* View: boot_entry <boot> entries *) let boot_entry = let boot_arg_re = "root" | "initrd" | "rootnoverify" | "uuid" | "findroot" | "bootfs" (* Solaris extensions *) in kw_boot_arg boot_arg_re | kernel | chainloader | kw_pres "quiet" (* Seems to be a Ubuntu extension *) | savedefault | configfile | module_line | map_line | kw_pres "lock" | kw_pres "makeactive" | password_arg (* View: boot_error * Accept lines not matching boot_entry and stuff them into * '#error' nodes *) let boot_error = let kw = /lock|uuid|password|root|initrd|rootnoverify|findroot|bootfs/ |/configfile|chainloader|title|boot|quiet|kernel|module/ |/makeactive|savedefault|map/ in error kw (* View: boot_setting * a valid boot setting or a line that looks like one but is an #error *) let boot_setting = boot_entry | boot_error (* View: boot *) let boot = let line = ((boot_setting|comment)* . boot_setting)? in [ label "title" . title . line ] (************************************************************************ * Group: DEBIAN-SPECIFIC SECTIONS *************************************************************************) (* View: debian_header Header for a <debian>-specific section *) let debian_header = "## ## Start Default Options ##\n" (* View: debian_footer Footer for a <debian>-specific section *) let debian_footer = "## ## End Default Options ##\n" (* View: debian_comment_re *) let debian_comment_re = /([^ \t\n].*[^ \t\n]|[^ \t\n])/ - "## End Default Options ##" (* View: debian_comment A comment entry inside a <debian>-specific section *) let debian_comment = [ Util.indent . label "#comment" . del /##[ \t]*/ "## " . store debian_comment_re . eol ] (* View: debian_setting_re *) let debian_setting_re = "kopt" | "groot" | "alternative" | "lockalternative" | "defoptions" | "lockold" | "xenhopt" | "xenkopt" | "altoptions" | "howmany" | "memtest86" | "updatedefaultentry" | "savedefault" | "indomU" (* View: debian_entry *) let debian_entry = [ Util.del_str "#" . Util.indent . key debian_setting_re . del /[ \t]*=/ "=" . value_to_eol? . eol ] (* View: debian A debian-specific section, made of <debian_entry> lines *) let debian = [ label "debian" . del debian_header debian_header . (debian_comment|empty|debian_entry)* . del debian_footer debian_footer ] (************************************************************************ * Group: LENS AND FILTER *************************************************************************) (* View: lns *) let lns = (comment | empty | menu_setting | debian)* . (boot . (comment | empty | boot)*)? (* View: filter *) let filter = incl "/boot/grub/grub.conf" . incl "/boot/grub/menu.lst" . incl "/etc/grub.conf" let xfm = transform lns filter