let kw_menu_arg (kw:regexp) = kw_arg kw "" " "
(* View: password_arg *)
- let password_arg = [ key "password" .
+ let password_arg = [ command "password" "" .
(spc . [ switch "md5" ])? .
(spc . [ switch "encrypted" ])? .
spc . store (/[^ \t\n]+/ - /--[^ \t\n]+/) .
| map_line
| kw_pres "lock"
| kw_pres "makeactive"
+ | password_arg
(* View: boot *)
let boot =
*************************************************************************)
(* View: lns *)
- let lns = (comment | empty | menu_setting | boot | debian)*
+ let lns = (comment | empty | menu_setting | debian)*
+ . (boot . (comment | empty | boot)*)?
(* View: filter *)
let filter = incl "/boot/grub/grub.conf"