puppetfileserver.aug | |
USEFUL PRIMITIVES | |
INI File settings | |
eol | |
sep | Only treat one space as the sep, extras are stripped by IniFile |
comment | Only supports “#” as commentary |
entry_re | Regexp for possible entry keyword (path, allow, deny) |
ENTRY | |
entry | |
RECORD | |
Title definition | |
title | Uses standard INI File title |
title | Uses standard INI File record |
LENS | |
lns | Uses standard INI File lens |
filter |
let entry_re = /path|allow|deny/
Regexp for possible entry keyword (path, allow, deny)
let eol = IniFile.eol
Only treat one space as the sep, extras are stripped by IniFile
let sep = Util.del_str " "
Only supports “#” as commentary
let comment = IniFile.comment "#" "#"
Regexp for possible entry keyword (path, allow, deny)
let entry_re = /path|allow|deny/
let entry = IniFile.indented_entry entry_re sep comment
Uses standard INI File title
let title = IniFile.indented_title IniFile.record_re
Uses standard INI File lens
let lns = IniFile.lns record comment