puppetfileserver.aug

Summary
puppetfileserver.aug
USEFUL PRIMITIVES
INI File settings
eol
sepOnly treat one space as the sep, extras are stripped by IniFile
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

eol

let eol = IniFile.eol

sep

let sep = Util.del_str " "

Only treat one space as the sep, extras are stripped by IniFile

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 = IniFile.indented_entry entry_re sep comment
  • It might be indented with an arbitrary amount of whitespace
  • It does not have any separator between keywords and their values
  • 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 eol = IniFile.eol
let sep = Util.del_str " "
Only treat one space as the sep, extras are stripped by IniFile
let comment = IniFile.comment "#" "#"
Only supports “#” as commentary
let entry_re = /path|allow|deny/
Regexp for possible entry keyword (path, allow, deny)
let entry = IniFile.indented_entry entry_re sep 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