puppetfileserver.aug

Summary
puppetfileserver.aug
USEFUL PRIMITIVES
INI File settings
sep_tab
commentOnly supports “#” as commentary
entry_reRegexp for possible entry keyword (path, allow, deny)
ENTRY
entry
RECORD
Title definition
titleUses standard INI File title
titleUses standard INI File record
LENS
lnsUses standard INI File lens
filter

USEFUL PRIMITIVES

INI File settings

sep_tab

comment

let comment = IniFile.comment "#" "#"

Only supports “#” as commentary

entry_re

let entry_re = /path|allow|deny/

Regexp for possible entry keyword (path, allow, deny)

ENTRY

entry

let entry = [ Util.del_opt_ws "" . key entry_re . Util.del_ws_spc . store /[^# \n\t]+/ . eol ] | comment

Non standard INI File entry

  • It might be indented with an arbitrary amount of whitespace
  • It does not have any separator between keywords and their values
  • It cannot contain a comment after a value (on the same line)
  • It can only have keywords with the following values (path, allow, deny)

RECORD

Title definition

title

let title = IniFile.indented_title IniFile.record_re

Uses standard INI File title

title

let record = IniFile.record title entry

Uses standard INI File record

LENS

lns

let lns = IniFile.lns record comment

Uses standard INI File lens

filter

let comment = IniFile.comment "#" "#"
Only supports “#” as commentary
let entry_re = /path|allow|deny/
Regexp for possible entry keyword (path, allow, deny)
let entry = [ Util.del_opt_ws "" . key entry_re . Util.del_ws_spc . store /[^# \n\t]+/ . eol ] | comment
let title = IniFile.indented_title IniFile.record_re
Uses standard INI File title
let lns = IniFile.lns record comment
Uses standard INI File lens
Close