lenses/mke2fs.aug

   1 (*
   2 Module: Mke2fs
   3   Parses /etc/mke2fs.conf
   4
   5 Author: Raphael Pinson <raphink@gmail.com>
   6
   7 About: Reference
   8   This lens tries to keep as close as possible to `man 5 mke2fs.conf` where possible.
   9
  10 About: License
  11    This file is licenced under the LGPLv2+, like the rest of Augeas.
  12
  13 About: Lens Usage
  14    To be documented
  15
  16 About: Configuration files
  17    This lens applies to /etc/mke2fs.conf. See <filter>.
  18 *)
  19
  20
  21 module Mke2fs =
  22   autoload xfm
  23
  24 (************************************************************************
  25  * Group:                 USEFUL PRIMITIVES
  26  *************************************************************************)
  27
  28 (* View: comment *)
  29 let comment = IniFile.comment IniFile.comment_re IniFile.comment_default
  30
  31 (* View: sep *)
  32 let sep = IniFile.sep /=[ \t]*/ "="
  33
  34 (* View: empty *)
  35 let empty = IniFile.empty
  36
  37
  38 (************************************************************************
  39  * Group:                 RECORD TYPES
  40  *************************************************************************)
  41
  42
  43 (* View: entry
  44     A generic entry for lens lns *)
  45 let entry (kw:regexp) (lns:lens) = Build.key_value_line kw sep lns
  46
  47
  48 (* View: list_sto
  49     A list of values with given lens *)
  50 let list_sto (kw:regexp) (lns:lens) = counter "item" .
  51                                           entry kw
  52                                             (Build.opt_list
  53                                               [lns]
  54                                               Sep.comma)
  55
  56 (* View: entry_sto
  57     Store a regexp as entry value *)
  58 let entry_sto (kw:regexp) (val:regexp) = entry kw (store val)
  59
  60
  61 (************************************************************************
  62  * Group:                 COMMON ENTRIES
  63  *************************************************************************)
  64 (* View: common_entry
  65      Entries shared between <defaults> and <fs_types> sections *)
  66 let common_entry   = list_sto ("base_features"|"default_features")
  67                         (key Rx.word)
  68                    | entry_sto "blocksize" ("-"? . Rx.integer)
  69                    | entry_sto "hash_alg" ("legacy"|"half_md4"|"tea")
  70                    | entry_sto ("inode_ratio"|"inode_size") Rx.integer
  71
  72 (************************************************************************
  73  * Group:                 DEFAULTS SECTION
  74  *************************************************************************)
  75
  76 (* View: defaults_entry
  77     Possible entries under the <defaults> section *)
  78 let defaults_entry = entry_sto "force_undo" ("true"|"false")
  79                    | entry_sto "fs_type" Rx.word
  80                    | entry_sto "undo_dir" Rx.fspath
  81
  82 (* View: defaults_title
  83     Title for the <defaults> section *)
  84 let defaults_title  = IniFile.title "defaults"
  85
  86 (* View: defaults
  87     A defaults section *)
  88 let defaults = IniFile.record defaults_title
  89                   ((Util.indent . (defaults_entry|common_entry)) | comment)
  90
  91
  92 (************************************************************************
  93  * Group:                 FS_TYPES SECTION
  94  *************************************************************************)
  95
  96 (* View: fs_types_entry
  97     Possible entries under a <fs_types_record> group *)
  98 let fs_types_entry =list_sto "features"
  99                         ([del /\^/ "^" . label "disable"]?
 100                                            . key Rx.word)
 101                    | list_sto "options"
 102                         (key Rx.word . Util.del_str "="
 103                        . store Rx.word)
 104                    | entry_sto "lazy_itable_init" ("true"|"false")
 105                    | entry_sto "flex_bg_size" Rx.integer
 106
 107 (* View: fs_types_record
 108      Fs group records under the <fs_types> section *)
 109 let fs_types_record = [ label "filesystem"
 110                      . Util.indent . store Rx.word
 111                      . del /[ \t]*=[ \t]*\{[ \t]*\n/ " = {\n"
 112                      . ((Util.indent . (fs_types_entry|common_entry)) | empty | comment)*
 113                      . del /[ \t]*\}[ \t]*\n/ " }\n" ]
 114
 115 (* View: fs_types_title
 116     Title for the <fs_types> section *)
 117 let fs_types_title = IniFile.title "fs_types"
 118
 119 (* View: fs_types
 120     A fs_types section *)
 121 let fs_types = IniFile.record fs_types_title
 122                   (fs_types_record | comment)
 123
 124
 125 (************************************************************************
 126  * Group:                 LENS AND FILTER
 127  *************************************************************************)
 128
 129 (* View: lns
 130      The mke2fs lens
 131 *)
 132 let lns = (empty|comment)* . (defaults|fs_types)*
 133
 134 (* Variable: filter *)
 135 let filter = incl "/etc/mke2fs.conf"
 136     . Util.stdexcl
 137
 138 let xfm = transform lns filter
 139
 140