Gecko [ www.foryou-vip.com ]

Name	Size	Permission	Date
tests	[ DIR ]	drwxrwxrwx	2020-08-25 15:28
access.aug	3.58 KB	-rwxrwxrwx	2017-08-18 07:56
activemq_conf.aug	1.47 KB	-rwxrwxrwx	2017-08-18 07:56
activemq_xml.aug	864 B	-rwxrwxrwx	2017-08-18 07:56
afs_cellalias.aug	1.56 KB	-rwxrwxrwx	2017-08-18 07:56
aliases.aug	2.18 KB	-rwxrwxrwx	2017-08-18 07:56
anacron.aug	2.49 KB	-rwxrwxrwx	2017-08-18 07:56
approx.aug	1.26 KB	-rwxrwxrwx	2017-08-18 07:56
apt_update_manager.aug	1.11 KB	-rwxrwxrwx	2017-08-18 07:56
aptcacherngsecurity.aug	726 B	-rwxrwxrwx	2017-08-18 07:56
aptconf.aug	3.89 KB	-rwxrwxrwx	2017-08-18 07:56
aptpreferences.aug	1.79 KB	-rwxrwxrwx	2017-08-18 07:56
aptsources.aug	1.98 KB	-rwxrwxrwx	2017-08-18 07:56
authorized_keys.aug	1.84 KB	-rwxrwxrwx	2017-08-18 07:56
automaster.aug	3.31 KB	-rwxrwxrwx	2017-08-18 07:56
automounter.aug	4.05 KB	-rwxrwxrwx	2017-08-18 07:56
avahi.aug	1.38 KB	-rwxrwxrwx	2017-08-18 07:56
backuppchosts.aug	1014 B	-rwxrwxrwx	2017-08-18 07:56
bbhosts.aug	4.24 KB	-rwxrwxrwx	2017-08-18 07:56
bootconf.aug	3.65 KB	-rwxrwxrwx	2017-08-18 07:56
build.aug	16.65 KB	-rwxrwxrwx	2017-08-18 07:56
cachefilesd.aug	2 KB	-rwxrwxrwx	2017-08-18 07:56
carbon.aug	1.54 KB	-rwxrwxrwx	2017-08-18 07:56
cgconfig.aug	3.35 KB	-rwxrwxrwx	2017-08-18 07:56
cgrules.aug	2.38 KB	-rwxrwxrwx	2017-08-18 07:56
channels.aug	3.84 KB	-rwxrwxrwx	2017-08-18 07:56
chrony.aug	12.7 KB	-rwxrwxrwx	2017-08-18 07:56
clamav.aug	1.53 KB	-rwxrwxrwx	2017-08-18 07:56
cobblermodules.aug	398 B	-rwxrwxrwx	2017-08-18 07:56
cobblersettings.aug	2.24 KB	-rwxrwxrwx	2017-08-18 07:56
collectd.aug	869 B	-rwxrwxrwx	2017-08-18 07:56
cpanel.aug	824 B	-rwxrwxrwx	2017-08-18 07:56
cron.aug	4.05 KB	-rwxrwxrwx	2017-08-18 07:56
cron_user.aug	1.26 KB	-rwxrwxrwx	2017-08-18 07:56
crypttab.aug	3.01 KB	-rwxrwxrwx	2017-08-18 07:56
csv.aug	1.18 KB	-rwxrwxrwx	2017-08-18 07:56
cups.aug	459 B	-rwxrwxrwx	2017-08-18 07:56
cyrus_imapd.aug	1.51 KB	-rwxrwxrwx	2017-08-18 07:56
darkice.aug	773 B	-rwxrwxrwx	2017-08-18 07:56
debctrl.aug	3.61 KB	-rwxrwxrwx	2017-08-18 07:56
desktop.aug	1.39 KB	-rwxrwxrwx	2017-08-18 07:56
device_map.aug	620 B	-rwxrwxrwx	2017-08-18 07:56
dhclient.aug	6.61 KB	-rwxrwxrwx	2017-08-18 07:56
dhcpd.aug	20.88 KB	-rwxrwxrwx	2017-08-18 07:56
dns_zone.aug	2.89 KB	-rwxrwxrwx	2017-08-18 07:56
dnsmasq.aug	2.16 KB	-rwxrwxrwx	2017-08-18 07:56
dovecot.aug	3.86 KB	-rwxrwxrwx	2017-08-18 07:56
dpkg.aug	2.79 KB	-rwxrwxrwx	2017-08-18 07:56
dput.aug	2.16 KB	-rwxrwxrwx	2017-08-18 07:56
erlang.aug	4.33 KB	-rwxrwxrwx	2017-08-18 07:56
ethers.aug	663 B	-rwxrwxrwx	2017-08-18 07:56
exports.aug	2.37 KB	-rwxrwxrwx	2017-08-18 07:56
fai_diskconfig.aug	9.28 KB	-rwxrwxrwx	2017-08-18 07:56
fonts.aug	819 B	-rwxrwxrwx	2017-08-18 07:56
fstab.aug	1.2 KB	-rwxrwxrwx	2017-08-18 07:56
fuse.aug	871 B	-rwxrwxrwx	2017-08-18 07:56
gdm.aug	1.8 KB	-rwxrwxrwx	2017-08-18 07:56
group.aug	1.66 KB	-rwxrwxrwx	2017-08-18 07:56
grub.aug	9.53 KB	-rwxrwxrwx	2017-08-18 07:56
gshadow.aug	2.19 KB	-rwxrwxrwx	2017-08-18 07:56
gtkbookmarks.aug	855 B	-rwxrwxrwx	2017-08-18 07:56
host_conf.aug	1.9 KB	-rwxrwxrwx	2017-08-18 07:56
hostname.aug	422 B	-rwxrwxrwx	2017-08-18 07:56
hosts.aug	485 B	-rwxrwxrwx	2017-08-18 07:56
hosts_access.aug	4.32 KB	-rwxrwxrwx	2017-08-18 07:56
htpasswd.aug	1.02 KB	-rwxrwxrwx	2017-08-18 07:56
httpd.aug	5.12 KB	-rwxrwxrwx	2017-08-18 07:56
inetd.aug	6.22 KB	-rwxrwxrwx	2017-08-18 07:56
inifile.aug	15.49 KB	-rwxrwxrwx	2017-08-18 07:56
inittab.aug	780 B	-rwxrwxrwx	2017-08-18 07:56
inputrc.aug	1.62 KB	-rwxrwxrwx	2017-08-18 07:56
interfaces.aug	4.62 KB	-rwxrwxrwx	2017-08-18 07:56
iproute2.aug	323 B	-rwxrwxrwx	2017-08-18 07:56
iptables.aug	2.64 KB	-rwxrwxrwx	2017-08-18 07:56
iscsid.aug	684 B	-rwxrwxrwx	2017-08-18 07:56
jaas.aug	1.57 KB	-rwxrwxrwx	2017-08-18 07:56
jettyrealm.aug	1.52 KB	-rwxrwxrwx	2017-08-18 07:56
jmxaccess.aug	1.35 KB	-rwxrwxrwx	2017-08-18 07:56
jmxpassword.aug	1.34 KB	-rwxrwxrwx	2017-08-18 07:56
json.aug	2.01 KB	-rwxrwxrwx	2017-08-18 07:56
kdump.aug	2.91 KB	-rwxrwxrwx	2017-08-18 07:56
keepalived.aug	10.7 KB	-rwxrwxrwx	2017-08-18 07:56
known_hosts.aug	1.93 KB	-rwxrwxrwx	2017-08-18 07:56
koji.aug	898 B	-rwxrwxrwx	2017-08-18 07:56
krb5.aug	6.13 KB	-rwxrwxrwx	2017-08-18 07:56
ldif.aug	7.65 KB	-rwxrwxrwx	2017-08-18 07:56
ldso.aug	1.06 KB	-rwxrwxrwx	2017-08-18 07:56
lightdm.aug	1.75 KB	-rwxrwxrwx	2017-08-18 07:56
limits.aug	2.02 KB	-rwxrwxrwx	2017-08-18 07:56
login_defs.aug	615 B	-rwxrwxrwx	2017-08-18 07:56
logrotate.aug	4.2 KB	-rwxrwxrwx	2017-08-18 07:56
logwatch.aug	1.44 KB	-rwxrwxrwx	2017-08-18 07:56
lokkit.aug	2.16 KB	-rwxrwxrwx	2017-08-18 07:56
lvm.aug	2.03 KB	-rwxrwxrwx	2017-08-18 07:56
mailscanner.aug	1.66 KB	-rwxrwxrwx	2017-08-18 07:56
mailscanner_rules.aug	2.84 KB	-rwxrwxrwx	2017-08-18 07:56
masterpasswd.aug	4.36 KB	-rwxrwxrwx	2017-08-18 07:56
mcollective.aug	1.09 KB	-rwxrwxrwx	2017-08-18 07:56
mdadm_conf.aug	10.05 KB	-rwxrwxrwx	2017-08-18 07:56
memcached.aug	1.24 KB	-rwxrwxrwx	2017-08-18 07:56
mke2fs.aug	4.67 KB	-rwxrwxrwx	2017-08-18 07:56
modprobe.aug	3.34 KB	-rwxrwxrwx	2017-08-18 07:56
modules.aug	741 B	-rwxrwxrwx	2017-08-18 07:56
modules_conf.aug	1.04 KB	-rwxrwxrwx	2017-08-18 07:56
mongodbserver.aug	1.17 KB	-rwxrwxrwx	2017-08-18 07:56
monit.aug	2.13 KB	-rwxrwxrwx	2017-08-18 07:56
multipath.aug	4.09 KB	-rwxrwxrwx	2017-08-18 07:56
mysql.aug	1.95 KB	-rwxrwxrwx	2017-08-18 07:56
nagioscfg.aug	2.09 KB	-rwxrwxrwx	2017-08-18 07:56
nagiosobjects.aug	1.57 KB	-rwxrwxrwx	2017-08-18 07:56
netmasks.aug	1.69 KB	-rwxrwxrwx	2017-08-18 07:56
networkmanager.aug	2 KB	-rwxrwxrwx	2017-08-18 07:56
networks.aug	1.09 KB	-rwxrwxrwx	2017-08-18 07:56
nginx.aug	3.37 KB	-rwxrwxrwx	2017-08-18 07:56
nrpe.aug	1.78 KB	-rwxrwxrwx	2017-08-18 07:56
nsswitch.aug	2.27 KB	-rwxrwxrwx	2017-08-18 07:56
ntp.aug	5.25 KB	-rwxrwxrwx	2017-08-18 07:56
ntpd.aug	4.75 KB	-rwxrwxrwx	2017-08-18 07:56
odbc.aug	1.42 KB	-rwxrwxrwx	2017-08-18 07:56
opendkim.aug	3.08 KB	-rwxrwxrwx	2017-08-18 07:56
openshift_config.aug	2.46 KB	-rwxrwxrwx	2017-08-18 07:56
openshift_http.aug	1.03 KB	-rwxrwxrwx	2017-08-18 07:56
openshift_quickstarts.aug	1.02 KB	-rwxrwxrwx	2017-08-18 07:56
openvpn.aug	22.28 KB	-rwxrwxrwx	2017-08-18 07:56
pagekite.aug	2.6 KB	-rwxrwxrwx	2017-08-18 07:56
pam.aug	2.24 KB	-rwxrwxrwx	2017-08-18 07:56
pamconf.aug	1.23 KB	-rwxrwxrwx	2017-08-18 07:56
passwd.aug	3.52 KB	-rwxrwxrwx	2017-08-18 07:56
pbuilder.aug	638 B	-rwxrwxrwx	2017-08-18 07:56
pg_hba.aug	2.97 KB	-rwxrwxrwx	2017-08-18 07:56
pgbouncer.aug	1.43 KB	-rwxrwxrwx	2017-08-18 07:56
php.aug	2.34 KB	-rwxrwxrwx	2017-08-18 07:56
phpvars.aug	3.85 KB	-rwxrwxrwx	2017-08-18 07:56
postfix_access.aug	732 B	-rwxrwxrwx	2017-08-18 07:56
postfix_main.aug	1.46 KB	-rwxrwxrwx	2017-08-18 07:56
postfix_master.aug	1.84 KB	-rwxrwxrwx	2017-08-18 07:56
postfix_passwordmap.aug	1.23 KB	-rwxrwxrwx	2017-08-18 07:56
postfix_sasl_smtpd.aug	636 B	-rwxrwxrwx	2017-08-18 07:56
postfix_transport.aug	1.43 KB	-rwxrwxrwx	2017-08-18 07:56
postfix_virtual.aug	1.27 KB	-rwxrwxrwx	2017-08-18 07:56
postgresql.aug	2.1 KB	-rwxrwxrwx	2017-08-18 07:56
properties.aug	2.25 KB	-rwxrwxrwx	2017-08-18 07:56
protocols.aug	1.05 KB	-rwxrwxrwx	2017-08-18 07:56
puppet.aug	1.52 KB	-rwxrwxrwx	2017-08-18 07:56
puppet_auth.aug	1.95 KB	-rwxrwxrwx	2017-08-18 07:56
puppetfile.aug	1.66 KB	-rwxrwxrwx	2017-08-18 07:56
puppetfileserver.aug	3.12 KB	-rwxrwxrwx	2017-08-18 07:56
pylonspaste.aug	2.3 KB	-rwxrwxrwx	2017-08-18 07:56
pythonpaste.aug	1.99 KB	-rwxrwxrwx	2017-08-18 07:56
qpid.aug	670 B	-rwxrwxrwx	2017-08-18 07:56
quote.aug	6.71 KB	-rwxrwxrwx	2017-08-18 07:56
rabbitmq.aug	4.69 KB	-rwxrwxrwx	2017-08-18 07:56
radicale.aug	1.48 KB	-rwxrwxrwx	2017-08-18 07:56
redis.aug	4.6 KB	-rwxrwxrwx	2017-08-18 07:56
reprepro_uploaders.aug	5.47 KB	-rwxrwxrwx	2017-08-18 07:56
resolv.aug	3.85 KB	-rwxrwxrwx	2017-08-18 07:56
rhsm.aug	1.1 KB	-rwxrwxrwx	2017-08-18 07:56
rmt.aug	788 B	-rwxrwxrwx	2017-08-18 07:56
rsyncd.aug	1.97 KB	-rwxrwxrwx	2017-08-18 07:56
rsyslog.aug	2.46 KB	-rwxrwxrwx	2017-08-18 07:56
rx.aug	4.06 KB	-rwxrwxrwx	2017-08-18 07:56
samba.aug	1.71 KB	-rwxrwxrwx	2017-08-18 07:56
schroot.aug	1.79 KB	-rwxrwxrwx	2017-08-18 07:56
securetty.aug	450 B	-rwxrwxrwx	2017-08-18 07:56
sep.aug	1.28 KB	-rwxrwxrwx	2017-08-18 07:56
services.aug	2.82 KB	-rwxrwxrwx	2017-08-18 07:56
shadow.aug	2.35 KB	-rwxrwxrwx	2017-08-18 07:56
shells.aug	745 B	-rwxrwxrwx	2017-08-18 07:56
shellvars.aug	11.63 KB	-rwxrwxrwx	2017-08-18 07:56
shellvars_list.aug	1.74 KB	-rwxrwxrwx	2017-08-18 07:56
simplelines.aug	1.13 KB	-rwxrwxrwx	2017-08-18 07:56
simplevars.aug	1.39 KB	-rwxrwxrwx	2017-08-18 07:56
sip_conf.aug	1.61 KB	-rwxrwxrwx	2017-08-18 07:56
slapd.aug	5.2 KB	-rwxrwxrwx	2017-08-18 07:56
smbusers.aug	781 B	-rwxrwxrwx	2017-08-18 07:56
solaris_system.aug	3.15 KB	-rwxrwxrwx	2017-08-18 07:56
soma.aug	1.14 KB	-rwxrwxrwx	2017-08-18 07:56
spacevars.aug	1.42 KB	-rwxrwxrwx	2017-08-18 07:56
splunk.aug	1.64 KB	-rwxrwxrwx	2017-08-18 07:56
squid.aug	15.95 KB	-rwxrwxrwx	2017-08-18 07:56
ssh.aug	3.57 KB	-rwxrwxrwx	2017-08-18 07:56
sshd.aug	3.76 KB	-rwxrwxrwx	2017-08-18 07:56
sssd.aug	861 B	-rwxrwxrwx	2017-08-18 07:56
star.aug	941 B	-rwxrwxrwx	2017-08-18 07:56
stunnel.aug	2.21 KB	-rwxrwxrwx	2017-08-18 07:56
subversion.aug	2.75 KB	-rwxrwxrwx	2017-08-18 07:56
sudoers.aug	19.96 KB	-rwxrwxrwx	2017-08-18 07:56
sysconfig.aug	2.49 KB	-rwxrwxrwx	2017-08-18 07:56
sysconfig_route.aug	2.55 KB	-rwxrwxrwx	2017-08-18 07:56
sysctl.aug	923 B	-rwxrwxrwx	2017-08-18 07:56
syslog.aug	7.22 KB	-rwxrwxrwx	2017-08-18 07:56
systemd.aug	5.65 KB	-rwxrwxrwx	2017-08-18 07:56
thttpd.aug	1.31 KB	-rwxrwxrwx	2017-08-18 07:56
tmpfiles.aug	3.03 KB	-rwxrwxrwx	2017-08-18 07:56
trapperkeeper.aug	4.01 KB	-rwxrwxrwx	2017-08-18 07:56
tuned.aug	387 B	-rwxrwxrwx	2017-08-18 07:56
up2date.aug	2.21 KB	-rwxrwxrwx	2017-08-18 07:56
updatedb.aug	1.13 KB	-rwxrwxrwx	2017-08-18 07:56
util.aug	4.85 KB	-rwxrwxrwx	2017-08-18 07:56
vfstab.aug	1.71 KB	-rwxrwxrwx	2017-08-18 07:56
vmware_config.aug	702 B	-rwxrwxrwx	2017-08-18 07:56
vsftpd.aug	2.7 KB	-rwxrwxrwx	2017-08-18 07:56
webmin.aug	1.23 KB	-rwxrwxrwx	2017-08-18 07:56
wine.aug	1.92 KB	-rwxrwxrwx	2017-08-18 07:56
xendconfsxp.aug	1.07 KB	-rwxrwxrwx	2017-08-18 07:56
xinetd.aug	4.02 KB	-rwxrwxrwx	2017-08-18 07:56
xml.aug	6.33 KB	-rwxrwxrwx	2017-08-18 07:56
xorg.aug	10.12 KB	-rwxrwxrwx	2017-08-18 07:56
xymon.aug	2.18 KB	-rwxrwxrwx	2017-08-18 07:56
xymon_alerting.aug	6.11 KB	-rwxrwxrwx	2017-08-18 07:56
yaml.aug	1.4 KB	-rwxrwxrwx	2017-08-18 07:56
yum.aug	2.19 KB	-rwxrwxrwx	2017-08-18 07:56

Rename

module Krb5 =

autoload xfm

let comment = Inifile.comment IniFile.comment_re "#"
let empty = Inifile.empty
let eol = Inifile.eol
let dels = Util.del_str

let indent = del /[ \t]*/ ""
let comma_or_space_sep = del /[ \t,]{1,}/ " "
let eq = del /[ \t]*=[ \t]*/ " = "
let eq_openbr = del /[ \t]*=[ \t\n]*\{[ \t]*\n/ " = {\n"
let closebr = del /[ \t]*\}/ "}"

(* These two regexps for realms and apps are not entirely true
   - strictly speaking, there's no requirement that a realm is all upper case
   and an application only uses lowercase. But it's what's used in practice.

Without that distinction we couldn't distinguish between applications
   and realms in the [appdefaults] section.
*)

let realm_re = /[A-Z0-9][.a-zA-Z0-9-]*/
let realm_anycase_re = /[A-Za-z0-9][.a-zA-Z0-9-]*/
let app_re = /[a-z][a-zA-Z0-9_]*/
let name_re = /[.a-zA-Z0-9_-]+/

let value_br = store /[^;# \t\r\n{}]+/
let value = store /[^;# \t\r\n]+/
let entry (kw:regexp) (sep:lens) (value:lens) (comment:lens)
    = [ indent . key kw . sep . value . (comment|eol) ] | comment

let subsec_entry (kw:regexp) (sep:lens) (comment:lens)
    = ( entry kw sep value_br comment ) | empty

let simple_section (n:string) (k:regexp) =
  let title = Inifile.indented_title n in
  let entry = entry k eq value comment in
    Inifile.record title entry

let record (t:string) (e:lens) =
  let title = Inifile.indented_title t in
    Inifile.record title e

let v4_name_convert (subsec:lens) = [ indent . key "v4_name_convert" .
                        eq_openbr .  subsec* . closebr . eol ]

(*
  For the enctypes this appears to be a list of the valid entries:
       c4-hmac arcfour-hmac aes128-cts rc4-hmac
       arcfour-hmac-md5 des3-cbc-sha1 des-cbc-md5 des-cbc-crc
*)
let enctype_re = /[a-zA-Z0-9-]{3,}/
let enctypes = /permitted_enctypes|default_tgs_enctypes|default_tkt_enctypes/i

(* An #eol label prevents ambiguity between "k = v1 v2" and "k = v1\n k = v2" *)
let enctype_list (nr:regexp) (ns:string) =
  indent . del nr ns . eq
    . Build.opt_list [ label ns . store enctype_re ] comma_or_space_sep
    . (comment|eol) . [ label "#eol" ]

let libdefaults =
  let option = entry (name_re - ("v4_name_convert" |enctypes)) eq value comment in
  let enctype_lists = enctype_list /permitted_enctypes/i "permitted_enctypes"
                      | enctype_list /default_tgs_enctypes/i "default_tgs_enctypes"
                      | enctype_list /default_tkt_enctypes/i "default_tkt_enctypes" in
  let subsec = [ indent . key /host|plain/ . eq_openbr .
                   (subsec_entry name_re eq comment)* . closebr . eol ] in
  record "libdefaults" (option|enctype_lists|v4_name_convert subsec)

let login =
  let keys = /krb[45]_get_tickets|krb4_convert|krb_run_aklog/
    |/aklog_path|accept_passwd/ in
    simple_section "login" keys

let appdefaults =
  let option = entry (name_re - ("realm" | "application")) eq value_br comment in
  let realm = [ indent . label "realm" . store realm_re .
                  eq_openbr . (option|empty)* . closebr . eol ] in
  let app = [ indent . label "application" . store app_re .
                eq_openbr . (realm|option|empty)* . closebr . eol] in
    record "appdefaults" (option|realm|app)

let realms =
  let simple_option = /kdc|admin_server|database_module|default_domain/
      |/v4_realm|auth_to_local(_names)?|master_kdc|kpasswd_server/
      |/admin_server|ticket_lifetime|pkinit_anchors|krb524_server/ in
  let subsec_option = /v4_instance_convert/ in
  let option = subsec_entry simple_option eq comment in
  let subsec = [ indent . key subsec_option . eq_openbr .
                   (subsec_entry name_re eq comment)* . closebr . eol ] in
  let v4subsec = [ indent . key /host|plain/ . eq_openbr .
                   (subsec_entry name_re eq comment)* . closebr . eol ] in
  let realm = [ indent . label "realm" . store realm_anycase_re .
                  eq_openbr . (option|subsec|(v4_name_convert v4subsec))* .
                  closebr . eol ] in
    record "realms" (realm|comment)

let domain_realm =
  simple_section "domain_realm" name_re

let logging =
  let keys = /kdc|admin_server|default/ in
  let xchg (m:regexp) (d:string) (l:string) =
    del m d . label l in
  let xchgs (m:string) (l:string) = xchg m m l in
  let dest =
    [ xchg /FILE[=:]/ "FILE=" "file" . value ]
    |[ xchgs "STDERR" "stderr" ]
    |[ xchgs "CONSOLE" "console" ]
    |[ xchgs "DEVICE=" "device" . value ]
    |[ xchgs "SYSLOG" "syslog" .
         ([ xchgs ":" "severity" . store /[A-Za-z0-9]+/ ].
          [ xchgs ":" "facility" . store /[A-Za-z0-9]+/ ]?)? ] in
  let entry = [ indent . key keys . eq . dest . (comment|eol) ] | comment in
    record "logging" entry

let capaths =
  let realm = [ indent . key realm_re .
                  eq_openbr .
                  (entry realm_re eq value_br comment)* . closebr . eol ] in
    record "capaths" (realm|comment)

(* This section is not documented in the krb5.conf manpage,
   but the Fermi example uses it. *)
let instance_mapping =
  let value = dels "\"" . store /[^;# \t\r\n{}]*/ . dels "\"" in
  let map_node = label "mapping" . store /[a-zA-Z0-9\/*]+/ in
  let mapping = [ indent . map_node . eq .
                    [ label "value" . value ] . (comment|eol) ] in
  let instance = [ indent . key name_re .
                     eq_openbr . (mapping|comment)* . closebr . eol ] in
    record "instancemapping" instance

let kdc =
  simple_section "kdc" /profile/

let pam =
  simple_section "pam" name_re

let includes = Build.key_value_line /include(dir)?/ Sep.space (store Rx.fspath)

let filter = (incl "/etc/krb5.conf.d/*.conf")
           . (incl "/etc/krb5.conf")

let xfm = transform lns filter