D | |
daemon, Hosts_Access | |
daemon_list, Hosts_Access | |
database | |
database_kw, Nsswitch | |
dayofmonth, Cron | |
dayofweek, Cron | |
debctrl | |
debian, Grub | |
DEBIAN-SPECIFIC SECTIONS, Grub | |
debian_comment, Grub | |
debian_comment_re, Grub | |
debian_entry, Grub | |
debian_footer, Grub | |
debian_header, Grub | |
debian_setting_re, Grub | |
decimal | |
decl_def_item, Test_Xml.Xml | |
def, LVM | |
default_approx, Test_Approx | |
default_depth, Xorg | |
default_sysctl, Test_Sysctl | |
default_type, Sudoers | |
defaults | |
DEFAULTS, Sudoers | |
DEFAULTS SECTION, Mke2fs | |
defaults_entry, Mke2fs | |
defaults_title, Mke2fs | |
Define comment and defaults, IniFile | |
del_negate, Sudoers | |
del_opt_ws, Util | |
del_str, Util | |
del_ws, Util | |
del_ws_spc, Util | |
del_ws_tab, Util | |
delay, Anacron | |
delim, Util | |
dels, Grub | |
desc, Test_Systemd | |
description, Schroot | |
Description | |
Desktop | |
destination | |
device | |
device_name, Rx | |
device_re, Ntpd | |
Dhcpd | |
discard, Syslog | |
disk, FAI_DiskConfig | |
disk_config | |
disk_config_entry, FAI_DiskConfig | |
disk_free_limit | |
disk_list, FAI_DiskConfig | |
disk_with_opt, FAI_DiskConfig | |
display, Xorg | |
DISPLAY SUBSECTION, Xorg | |
display_entry, Xorg | |
display_modes, Xorg | |
dn, Automaster | |
Dns_Zone | |
do_dquote | |
do_dquote_opt, Quote | |
do_dquote_opt_nil, Quote | |
do_quote, Quote | |
do_squote, Quote | |
do_squote_opt, Quote | |
do_squote_opt_nil, Quote | |
doc, Test_Xml.Xml | |
doctype, Test_Xml.Xml | |
domain, Resolv | |
doseol, Util | |
dot, Syslog | |
double | |
double_opt | |
double_opt_allow_spc, Test_Quote | |
double_opt_re, Quote | |
Dovecot | |
Dpkg | |
dquote, Quote | |
dquote_opt, Quote | |
dquote_opt_nil | |
dquote_spaces | |
driver, Xorg | |
duration, Xymon_Alerting |
let daemon = let host = [ label "host" . Util.del_str "@" . list_item ] in [ label "process" . list_item . host? ]
A list of daemons
let daemon_list = Build.opt_list daemon list_sep
let database = [ label "database" . store database_kw . sep_colon . (Build.opt_list (service|reaction) Sep.space) . Util.comment_or_eol ]
TODO: support for quoted strings
let database = comma_sep_list "database"
The database specification like `passwd’, `shadow’, or `hosts’
let database_kw = Rx.word
let dayofmonth = [ label "dayofmonth" . store num ]
let dayofweek = [ label "dayofweek" . store alphanum ]
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 ]
A comment entry inside a debian-specific section
let debian_comment = [ Util.indent . label "#comment" . del /##[ \t]*/ "## " . store debian_comment_re . eol ]
let debian_comment_re = /([^ \t\n].*[^ \t\n]|[^ \t\n])/ - "## End Default Options ##"
let debian_entry = [ Util.del_str "#" . Util.indent . key debian_setting_re . del /[ \t]*=/ "=" . value_to_eol? . eol ]
Footer for a debian-specific section
let debian_footer = "## ## End Default Options ##\n"
Header for a debian-specific section
let debian_header = "## ## Start Default Options ##\n"
let debian_setting_re = "kopt" | "groot" | "alternative" | "lockalternative" | "defoptions" | "lockold" | "xenhopt" | "xenkopt" | "altoptions" | "howmany" | "memtest86" | "updatedefaultentry" | "savedefault" | "indomU"
let decimal = Rx.reldecimal
Store a decimal value
let decimal = store /[0-9]+(.[0-9]+)?/
A decimal value (using ‘,’ or ‘.’
let decimal = /[0-9]+([.,][0-9]+)?/
!ELEMENT declaration tags are mapped in “!ELEMENT” nodes.
test Xml.decl_def_item get "<!ELEMENT greeting (#PCDATA)>" = { "!ELEMENT" = "greeting" { "#decl" = "(#PCDATA)" } }
A full configuration
let default_approx = "# The following are the defaults, so there is no need # to uncomment them unless you want a different value. # See approx.conf(5) for details. $interface any $port 9999 $interval 720 $max_wait 10 $max_rate unlimited $debug false # Here are some examples of remote repository mappings. # See http://www.debian.org/mirror/list for mirror sites. debian http://ftp.nl.debian.org/debian debian-volatile http://ftp.nl.debian.org/debian-volatile security http://security.debian.org "
let default_depth = entry_int "DefaultDepth" /[dD]efault[dD]epth/
let default_sysctl = "# Kernel sysctl configuration file # Controls IP packet forwarding net.ipv4.ip_forward = 0 net.ipv4.conf.default.rp_filter = 1 net.ipv4.conf.default.accept_source_route = \t0 kernel.sysrq = 0 ; Semicolon comments are also allowed net.ipv4.tcp_mem = \t393216 524288 786432 "
Type definition for defaults
let default_type = let value = store /[@:!>][^ \t\n\\]+/ in [ label "type" . value ]
A defaults section
let defaults = IniFile.record defaults_title ((Util.indent . (defaults_entry|common_entry)) | comment)
A Defaults entry
let defaults = [ indent . key "Defaults" . default_type? . sep_cont . parameter_list . comment_or_eol ]
Possible entries under the defaults section
let defaults_entry = entry_sto "force_undo" ("true"|"false") | entry_sto "fs_type" Rx.word | entry_sto "undo_dir" Rx.fspath | list_sto "default_mntopts" (key Rx.word) | entry_sto "enable_periodic_fsck" Rx.integer
Title for the defaults section
let defaults_title = IniFile.title "defaults"
Delete an even number of ‘!’
let del_negate = del /(!!)*/ ""
Delete optional whitespace
let del_opt_ws = del /[ \t]*/
Delete a string and default to it
let del_str (s:string) = del s s
Delete mandatory whitespace
let del_ws = del /[ \t]+/
Delete mandatory whitespace, default to single space
let del_ws_spc = del_ws " "
Delete mandatory whitespace, default to single tab
let del_ws_tab = del_ws "\t"
The delay for an entry
let delay = [ label "delay" . store Rx.integer ]
let delim (op:string) = del (/[ \t]*/ . op . /[ \t]*/) (" " . op . " ")
let dels (s:string) = Util.del_str s
let desc = "[Unit] Description=RPC Description=RPC bind service Description=RPC bind\\ service Description= Resets System Activity Logs "
Descriptions are special entries, which can have an optional lang parameter
let description = let lang = [ Util.del_str "[" . label "lang" . store IniFile.entry_re . Util.del_str "]" ] in IniFile.entry_generic_nocomment (key "description" . lang?) sep "#" comment
Can be either a word (no spaces included) or a command with spaces
let destination = ( word | command )
let destination = [ label "destination" . word ]
let device = [ label "device" . store Rx.fspath ]
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 ]
let device = entry_str "Device" /[dD]evice/
A Linux device name like eth0 or i2c-0.
let device_name = /[a-zA-Z0-9_?.+:!-]+/
let device_re = Rx.device_name | /\*/
discards matching messages
let discard = [ label "discard" . Util.del_str "~" ]
let disk = [ label "disk" . store /[^., \t\n]+/ . partition? ]
let disk_config = let excludes = "lvm" | "raid" | "end" | /disk[0-9]+/ | "cryptsetup" | "tmpfs" in let other_label = Rx.fspath - excludes in disk_config_entry "lvm" lvmoption volume_lvm | disk_config_entry "raid" raidoption volume_raid | disk_config_entry "tmpfs" option volume_tmpfs | disk_config_entry "end" option volume (* there shouldn't be an option here *) | disk_config_entry /disk[0-9]+/ option volume | disk_config_entry "cryptsetup" cryptoption volume_cryptsetup | disk_config_entry other_label option volume
Test FAI_DiskConfig.disk_config
test FAI_DiskConfig.disk_config get "disk_config hda preserve_always:6,7 disklabel:msdos bootable:3\n" = { "disk_config" = "hda" { "preserve_always" { "1" = "6" } { "2" = "7" } } { "disklabel" = "msdos" } { "bootable" = "3" } }
let disk_config_entry (kw:regexp) (opt:lens) (vol:lens) = [ key "disk_config" . space . store kw . (space . opt)* . eol . (volume_or_comment vol)? ]
let disk_free_limit = let value = Erlang.integer | Erlang.tuple Erlang.bare Erlang.decimal in Erlang.value "disk_free_limit" value
test Rabbitmq.disk_free_limit get "{disk_free_limit, 1000000000}" = { "disk_free_limit" = "1000000000" }
A list of disk_with_opts
let disk_list = Build.opt_list disk_with_opt Sep.comma
A disk with a spare/missing option for raids
let disk_with_opt = [ label "disk" . store /[^:., \t\n]+/ . partition? . spare_missing* ]
let display = [ indent . del "SubSection" "SubSection" . sep_spc . sep_dquote . key "Display" . sep_dquote . eol . display_entry* . indent . del "EndSubSection" "EndSubSection" . eol ]
Known values for entries in the Display subsection
let display_entry = entry_int "Depth" /[dD]epth/ | entry_int "FbBpp" /[fF]b[bB]pp/ | entry_rgb "Weight" /[wW]eight/ | entry_xy "Virtual" /[vV]irtual/ | entry_xy "ViewPort" /[vV]iew[pP]ort/ | display_modes | entry_str "Visual" /[vV]isual/ | entry_rgb "Black" /[bB]lack/ | entry_rgb "White" /[wW]hite/ | entry_str "Options" /[oO]ptions/ | empty | comment
let display_modes = [ indent . del /[mM]odes/ "Modes" . label "Modes" . [ label "mode" . sep_spc . quoted_non_empty_string_val ]+ . eol ]
let dn = /[^:# \n\t]+/
let do_dquote = Quote.do_dquote
Enclose a lens in dquotes
let do_dquote (body:lens) = square dquote body dquote
Enclose a lens in optional dquotes, use dquotes by default.
let do_dquote_opt (body:lens) = square dquote_opt body dquote_opt
Enclose a lens in optional dquotes, default to no quotes.
let do_dquote_opt_nil (body:lens) = square dquote_opt_nil body dquote_opt_nil
Enclose a lens in quotes.
let do_quote (body:lens) = square quote body quote
Enclose a lens in squotes
let do_squote (body:lens) = square squote body squote
Enclose a lens in optional squotes, use squotes by default.
let do_squote_opt (body:lens) = square squote_opt body squote_opt
Enclose a lens in optional squotes, default to no quotes.
let do_squote_opt_nil (body:lens) = square squote_opt_nil body squote_opt_nil
Test input1 with Xml.doc
test Xml.doc get input1 = { "#declaration" { "#attribute" { "version" = "1.0" } { "encoding" = "UTF-8" } } } { "html" { "#text" = "\r\n " } { "head" { "#text" = "\n " } { "title" { "#text" = "Wiki" } } { "#text" = " " } } { "#text" = " " } { "body" { "#text" = " " } { "h1" { "#text" = "Augeas" } } { "#text" = " " } { "p" { "#attribute" { "class" = "main" } } { "#text" = "Augeas is now able to parse XML files!" } } { "#text" = " " } { "ul" { "#text" = "\n " } { "li" { "#text" = "Translate from XML to a tree syntax" } } { "#text" = " " } { "li" { "#text" = "Translate from the tree back to XML" } } { "#text" = " " } { "#comment" = " this is some comment " } { "#text" = " " } { "li" { "#text" = "this" } } { "#text" = " " } } { "#text" = " " } } }
!DOCTYPE tags are mapped in “!DOCTYPE” nodes.
test Xml.doctype get "<!DOCTYPE greeting:foo SYSTEM \"hello.dtd\">" = { "!DOCTYPE" = "greeting:foo" { "SYSTEM" = "hello.dtd" } }
let domain = Build.key_value_line_comment "domain" Sep.space (store Rx.word) comment_eol
Delete end of line with optional carriage return, including optional trailing whitespace
let doseol = del /[ \t]*\r?\n/ "\n"
Deletes a dot and default to it
let dot = Util.del_str "."
A double-quoted value
let double = let body = store /[^\n]*/ in do_dquote body
let double = [ label "double" . Quote.double ]
An optionally double-quoted value Double quotes are not allowed in value Value cannot begin or end with spaces
let double_opt = let body = store double_opt_re in do_dquote_opt body
let double_opt = [ label "double_opt" . Quote.double_opt ]
let double_opt_allow_spc = let body = store /[^\n"]+/ in [ label "double" . Quote.do_dquote_opt body ]
The regexp to store when value is optionally double-quoted
let double_opt_re = /[^\n\t "]([^\n"]*[^\n\t "])?/
A double quote
let dquote = Util.del_str "\""
An optional double quote, default to double
let dquote_opt = del /"?/ "\""
An optional double quote, default to nothing
let dquote_opt_nil = del /"?/ ""
let dquote_opt_nil = let body = store Quote.double_opt_re in [ label "dquote_opt_nil" . Quote.do_dquote_opt_nil body ]?
Make double quotes mandatory if value contains spaces, and optional if value doesn’t contain spaces.
let dquote_spaces (lns1:lens) (lns2:lens) =
Make double quotes mandatory if value contains spaces, and optional if value doesn’t contain spaces.
let dquote_spaces (lns:lens) =
let driver = entry_str "Driver" /[dD]river/
The duration filter definition
let duration = [ key "DURATION" . [ label "operator" . comparison ] . [ label "value" . store_word ] ]