# puppetfileserver.aug

Summary

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 |

### 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

> 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