Gecko [ tsuru-no-tsurugi.tokyo ]

Name	Size	Permission	Date
tests	[ DIR ]	drwxr-xr-x	2024-08-28 22:15
access.aug	3.58 KB	-rw-r--r--	2021-12-24 21:03
activemq_conf.aug	1.47 KB	-rw-r--r--	2021-12-24 21:03
activemq_xml.aug	864 B	-rw-r--r--	2021-12-24 21:03
afs_cellalias.aug	1.56 KB	-rw-r--r--	2021-12-24 21:03
aliases.aug	2.18 KB	-rw-r--r--	2021-12-24 21:03
anaconda.aug	775 B	-rw-r--r--	2021-12-24 21:03
anacron.aug	2.49 KB	-rw-r--r--	2021-12-24 21:03
approx.aug	1.26 KB	-rw-r--r--	2021-12-24 21:03
apt_update_manager.aug	1.11 KB	-rw-r--r--	2021-12-24 21:03
aptcacherngsecurity.aug	726 B	-rw-r--r--	2021-12-24 21:03
aptconf.aug	3.9 KB	-rw-r--r--	2021-12-24 21:03
aptpreferences.aug	1.79 KB	-rw-r--r--	2021-12-24 21:03
aptsources.aug	1.98 KB	-rw-r--r--	2021-12-24 21:03
authinfo2.aug	1.44 KB	-rw-r--r--	2021-12-24 21:03
authorized_keys.aug	1.84 KB	-rw-r--r--	2021-12-24 21:03
authselectpam.aug	3.7 KB	-rw-r--r--	2021-12-24 21:03
automaster.aug	3.31 KB	-rw-r--r--	2021-12-24 21:03
automounter.aug	4.05 KB	-rw-r--r--	2021-12-24 21:03
avahi.aug	1.38 KB	-rw-r--r--	2021-12-24 21:03
backuppchosts.aug	1014 B	-rw-r--r--	2021-12-24 21:03
bbhosts.aug	4.24 KB	-rw-r--r--	2021-12-24 21:03
bootconf.aug	3.65 KB	-rw-r--r--	2021-12-24 21:03
build.aug	16.65 KB	-rw-r--r--	2021-12-24 21:03
cachefilesd.aug	2 KB	-rw-r--r--	2021-12-24 21:03
carbon.aug	1.54 KB	-rw-r--r--	2021-12-24 21:03
ceph.aug	719 B	-rw-r--r--	2021-12-24 21:03
cgconfig.aug	3.37 KB	-rw-r--r--	2021-12-24 21:03
cgrules.aug	2.38 KB	-rw-r--r--	2021-12-24 21:03
channels.aug	3.84 KB	-rw-r--r--	2021-12-24 21:03
chrony.aug	13.65 KB	-rw-r--r--	2021-12-24 21:03
clamav.aug	1.68 KB	-rw-r--r--	2021-12-24 21:03
cmdline.aug	500 B	-rw-r--r--	2021-12-24 21:03
cobblermodules.aug	398 B	-rw-r--r--	2021-12-24 21:03
cobblersettings.aug	2.24 KB	-rw-r--r--	2021-12-24 21:03
collectd.aug	869 B	-rw-r--r--	2021-12-24 21:03
cpanel.aug	824 B	-rw-r--r--	2021-12-24 21:03
cron.aug	4.05 KB	-rw-r--r--	2021-12-24 21:03
cron_user.aug	1.26 KB	-rw-r--r--	2021-12-24 21:03
crypttab.aug	3.08 KB	-rw-r--r--	2021-12-24 21:03
csv.aug	1.18 KB	-rw-r--r--	2021-12-24 21:03
cups.aug	459 B	-rw-r--r--	2021-12-24 21:03
cyrus_imapd.aug	1.51 KB	-rw-r--r--	2021-12-24 21:03
darkice.aug	773 B	-rw-r--r--	2021-12-24 21:03
debctrl.aug	3.61 KB	-rw-r--r--	2021-12-24 21:03
desktop.aug	1.39 KB	-rw-r--r--	2021-12-24 21:03
devfsrules.aug	619 B	-rw-r--r--	2021-12-24 21:03
device_map.aug	620 B	-rw-r--r--	2021-12-24 21:03
dhclient.aug	6.69 KB	-rw-r--r--	2021-12-24 21:03
dhcpd.aug	20.88 KB	-rw-r--r--	2021-12-24 21:03
dns_zone.aug	2.89 KB	-rw-r--r--	2021-12-24 21:03
dnsmasq.aug	2.16 KB	-rw-r--r--	2021-12-24 21:03
dovecot.aug	3.98 KB	-rw-r--r--	2021-12-24 21:03
dpkg.aug	2.78 KB	-rw-r--r--	2021-12-24 21:03
dput.aug	2.16 KB	-rw-r--r--	2021-12-24 21:03
erlang.aug	4.33 KB	-rw-r--r--	2021-12-24 21:03
ethers.aug	663 B	-rw-r--r--	2021-12-24 21:03
exports.aug	2.37 KB	-rw-r--r--	2021-12-24 21:03
fai_diskconfig.aug	9.28 KB	-rw-r--r--	2021-12-24 21:03
fail2ban.aug	1.79 KB	-rw-r--r--	2021-12-24 21:03
fonts.aug	819 B	-rw-r--r--	2021-12-24 21:03
fstab.aug	1.23 KB	-rw-r--r--	2021-12-24 21:03
fuse.aug	871 B	-rw-r--r--	2021-12-24 21:03
gdm.aug	1.8 KB	-rw-r--r--	2021-12-24 21:03
getcap.aug	1.57 KB	-rw-r--r--	2021-12-24 21:03
group.aug	1.66 KB	-rw-r--r--	2021-12-24 21:03
grub.aug	11.05 KB	-rw-r--r--	2021-12-24 21:03
grubenv.aug	508 B	-rw-r--r--	2021-12-24 21:03
gshadow.aug	2.19 KB	-rw-r--r--	2021-12-24 21:03
gtkbookmarks.aug	855 B	-rw-r--r--	2021-12-24 21:03
host_conf.aug	1.9 KB	-rw-r--r--	2021-12-24 21:03
hostname.aug	435 B	-rw-r--r--	2021-12-24 21:03
hosts.aug	485 B	-rw-r--r--	2021-12-24 21:03
hosts_access.aug	4.32 KB	-rw-r--r--	2021-12-24 21:03
htpasswd.aug	1.02 KB	-rw-r--r--	2021-12-24 21:03
httpd.aug	7.35 KB	-rw-r--r--	2021-12-24 21:03
inetd.aug	6.22 KB	-rw-r--r--	2021-12-24 21:03
inifile.aug	15.49 KB	-rw-r--r--	2021-12-24 21:03
inittab.aug	780 B	-rw-r--r--	2021-12-24 21:03
inputrc.aug	1.62 KB	-rw-r--r--	2021-12-24 21:03
interfaces.aug	4.62 KB	-rw-r--r--	2021-12-24 21:03
iproute2.aug	323 B	-rw-r--r--	2021-12-24 21:03
iptables.aug	2.64 KB	-rw-r--r--	2021-12-24 21:03
iscsid.aug	684 B	-rw-r--r--	2021-12-24 21:03
jaas.aug	1.57 KB	-rw-r--r--	2021-12-24 21:03
jettyrealm.aug	1.52 KB	-rw-r--r--	2021-12-24 21:03
jmxaccess.aug	1.35 KB	-rw-r--r--	2021-12-24 21:03
jmxpassword.aug	1.34 KB	-rw-r--r--	2021-12-24 21:03
json.aug	2.15 KB	-rw-r--r--	2021-12-24 21:03
kdump.aug	2.91 KB	-rw-r--r--	2021-12-24 21:03
keepalived.aug	10.7 KB	-rw-r--r--	2021-12-24 21:03
known_hosts.aug	1.93 KB	-rw-r--r--	2021-12-24 21:03
koji.aug	898 B	-rw-r--r--	2021-12-24 21:03
krb5.aug	6.98 KB	-rw-r--r--	2021-12-24 21:03
ldif.aug	7.65 KB	-rw-r--r--	2021-12-24 21:03
ldso.aug	1.06 KB	-rw-r--r--	2021-12-24 21:03
lightdm.aug	1.75 KB	-rw-r--r--	2021-12-24 21:03
limits.aug	2.02 KB	-rw-r--r--	2021-12-24 21:03
login_defs.aug	615 B	-rw-r--r--	2021-12-24 21:03
logrotate.aug	4.23 KB	-rw-r--r--	2021-12-24 21:03
logwatch.aug	1.44 KB	-rw-r--r--	2021-12-24 21:03
lokkit.aug	2.16 KB	-rw-r--r--	2021-12-24 21:03
lvm.aug	2.03 KB	-rw-r--r--	2021-12-24 21:03
mailscanner.aug	1.66 KB	-rw-r--r--	2021-12-24 21:03
mailscanner_rules.aug	2.84 KB	-rw-r--r--	2021-12-24 21:03
masterpasswd.aug	4.36 KB	-rw-r--r--	2021-12-24 21:03
mcollective.aug	1.09 KB	-rw-r--r--	2021-12-24 21:03
mdadm_conf.aug	10.05 KB	-rw-r--r--	2021-12-24 21:03
memcached.aug	1.24 KB	-rw-r--r--	2021-12-24 21:03
mke2fs.aug	6.29 KB	-rw-r--r--	2021-12-24 21:03
modprobe.aug	3.34 KB	-rw-r--r--	2021-12-24 21:03
modules.aug	741 B	-rw-r--r--	2021-12-24 21:03
modules_conf.aug	1.04 KB	-rw-r--r--	2021-12-24 21:03
mongodbserver.aug	1.17 KB	-rw-r--r--	2021-12-24 21:03
monit.aug	2.13 KB	-rw-r--r--	2021-12-24 21:03
multipath.aug	4.21 KB	-rw-r--r--	2021-12-24 21:03
mysql.aug	1.95 KB	-rw-r--r--	2021-12-24 21:03
nagioscfg.aug	2.09 KB	-rw-r--r--	2021-12-24 21:03
nagiosobjects.aug	1.57 KB	-rw-r--r--	2021-12-24 21:03
netmasks.aug	1.69 KB	-rw-r--r--	2021-12-24 21:03
networkmanager.aug	2.18 KB	-rw-r--r--	2021-12-24 21:03
networks.aug	1.09 KB	-rw-r--r--	2021-12-24 21:03
nginx.aug	3.65 KB	-rw-r--r--	2021-12-24 21:03
nrpe.aug	1.78 KB	-rw-r--r--	2021-12-24 21:03
nslcd.aug	9.87 KB	-rw-r--r--	2021-12-24 21:03
nsswitch.aug	2.33 KB	-rw-r--r--	2021-12-24 21:03
ntp.aug	5.29 KB	-rw-r--r--	2021-12-24 21:03
ntpd.aug	4.75 KB	-rw-r--r--	2021-12-24 21:03
odbc.aug	1.42 KB	-rw-r--r--	2021-12-24 21:03
opendkim.aug	3.1 KB	-rw-r--r--	2021-12-24 21:03
openshift_config.aug	2.46 KB	-rw-r--r--	2021-12-24 21:03
openshift_http.aug	1.03 KB	-rw-r--r--	2021-12-24 21:03
openshift_quickstarts.aug	1.02 KB	-rw-r--r--	2021-12-24 21:03
openvpn.aug	22.28 KB	-rw-r--r--	2021-12-24 21:03
oz.aug	1.35 KB	-rw-r--r--	2021-12-24 21:03
pagekite.aug	2.6 KB	-rw-r--r--	2021-12-24 21:03
pam.aug	2.58 KB	-rw-r--r--	2021-12-24 21:03
pamconf.aug	1.23 KB	-rw-r--r--	2021-12-24 21:03
passwd.aug	3.52 KB	-rw-r--r--	2021-12-24 21:03
pbuilder.aug	638 B	-rw-r--r--	2021-12-24 21:03
pg_hba.aug	2.97 KB	-rw-r--r--	2021-12-24 21:03
pgbouncer.aug	1.43 KB	-rw-r--r--	2021-12-24 21:03
php.aug	2.34 KB	-rw-r--r--	2021-12-24 21:03
phpvars.aug	3.85 KB	-rw-r--r--	2021-12-24 21:03
postfix_access.aug	771 B	-rw-r--r--	2021-12-24 21:03
postfix_main.aug	1.52 KB	-rw-r--r--	2021-12-24 21:03
postfix_master.aug	1.9 KB	-rw-r--r--	2021-12-24 21:03
postfix_passwordmap.aug	1.28 KB	-rw-r--r--	2021-12-24 21:03
postfix_sasl_smtpd.aug	697 B	-rw-r--r--	2021-12-24 21:03
postfix_transport.aug	1.48 KB	-rw-r--r--	2021-12-24 21:03
postfix_virtual.aug	1.32 KB	-rw-r--r--	2021-12-24 21:03
postgresql.aug	2.1 KB	-rw-r--r--	2021-12-24 21:03
properties.aug	2.3 KB	-rw-r--r--	2021-12-24 21:03
protocols.aug	1.05 KB	-rw-r--r--	2021-12-24 21:03
puppet.aug	1.52 KB	-rw-r--r--	2021-12-24 21:03
puppet_auth.aug	1.95 KB	-rw-r--r--	2021-12-24 21:03
puppetfile.aug	2.27 KB	-rw-r--r--	2021-12-24 21:03
puppetfileserver.aug	3.12 KB	-rw-r--r--	2021-12-24 21:03
pylonspaste.aug	2.3 KB	-rw-r--r--	2021-12-24 21:03
pythonpaste.aug	1.99 KB	-rw-r--r--	2021-12-24 21:03
qpid.aug	670 B	-rw-r--r--	2021-12-24 21:03
quote.aug	6.71 KB	-rw-r--r--	2021-12-24 21:03
rabbitmq.aug	4.69 KB	-rw-r--r--	2021-12-24 21:03
radicale.aug	1.48 KB	-rw-r--r--	2021-12-24 21:03
rancid.aug	927 B	-rw-r--r--	2021-12-24 21:03
redis.aug	6.29 KB	-rw-r--r--	2021-12-24 21:03
reprepro_uploaders.aug	5.47 KB	-rw-r--r--	2021-12-24 21:03
resolv.aug	3.99 KB	-rw-r--r--	2021-12-24 21:03
rhsm.aug	1.1 KB	-rw-r--r--	2021-12-24 21:03
rmt.aug	788 B	-rw-r--r--	2021-12-24 21:03
rsyncd.aug	1.97 KB	-rw-r--r--	2021-12-24 21:03
rsyslog.aug	3.27 KB	-rw-r--r--	2021-12-24 21:03
rtadvd.aug	854 B	-rw-r--r--	2021-12-24 21:03
rx.aug	4.2 KB	-rw-r--r--	2021-12-24 21:03
samba.aug	1.71 KB	-rw-r--r--	2021-12-24 21:03
schroot.aug	1.79 KB	-rw-r--r--	2021-12-24 21:03
securetty.aug	450 B	-rw-r--r--	2021-12-24 21:03
semanage.aug	859 B	-rw-r--r--	2021-12-24 21:03
sep.aug	1.28 KB	-rw-r--r--	2021-12-24 21:03
services.aug	2.82 KB	-rw-r--r--	2021-12-24 21:03
shadow.aug	2.35 KB	-rw-r--r--	2021-12-24 21:03
shells.aug	745 B	-rw-r--r--	2021-12-24 21:03
shellvars.aug	12.02 KB	-rw-r--r--	2021-12-24 21:03
shellvars_list.aug	1.74 KB	-rw-r--r--	2021-12-24 21:03
simplelines.aug	1.13 KB	-rw-r--r--	2021-12-24 21:03
simplevars.aug	1.4 KB	-rw-r--r--	2021-12-24 21:03
sip_conf.aug	1.61 KB	-rw-r--r--	2021-12-24 21:03
slapd.aug	5.2 KB	-rw-r--r--	2021-12-24 21:03
smbusers.aug	781 B	-rw-r--r--	2021-12-24 21:03
solaris_system.aug	3.15 KB	-rw-r--r--	2021-12-24 21:03
soma.aug	1.14 KB	-rw-r--r--	2021-12-24 21:03
spacevars.aug	1.42 KB	-rw-r--r--	2021-12-24 21:03
splunk.aug	1.64 KB	-rw-r--r--	2021-12-24 21:03
squid.aug	15.95 KB	-rw-r--r--	2021-12-24 21:03
ssh.aug	4.39 KB	-rw-r--r--	2021-12-24 21:03
sshd.aug	4.15 KB	-rw-r--r--	2021-12-24 21:03
sssd.aug	861 B	-rw-r--r--	2021-12-24 21:03
star.aug	941 B	-rw-r--r--	2021-12-24 21:03
strongswan.aug	1.63 KB	-rw-r--r--	2021-12-24 21:03
stunnel.aug	2.21 KB	-rw-r--r--	2021-12-24 21:03
subversion.aug	2.75 KB	-rw-r--r--	2021-12-24 21:03
sudoers.aug	20.08 KB	-rw-r--r--	2021-12-24 21:03
sysconfig.aug	2.49 KB	-rw-r--r--	2021-12-24 21:03
sysconfig_route.aug	2.55 KB	-rw-r--r--	2021-12-24 21:03
sysctl.aug	923 B	-rw-r--r--	2021-12-24 21:03
syslog.aug	7.33 KB	-rw-r--r--	2021-12-24 21:03
systemd.aug	6.01 KB	-rw-r--r--	2021-12-24 21:03
termcap.aug	1.03 KB	-rw-r--r--	2021-12-24 21:03
thttpd.aug	1.31 KB	-rw-r--r--	2021-12-24 21:03
tinc.aug	1.08 KB	-rw-r--r--	2021-12-24 21:03
tmpfiles.aug	3.08 KB	-rw-r--r--	2021-12-24 21:03
toml.aug	4.08 KB	-rw-r--r--	2021-12-24 21:03
trapperkeeper.aug	4.01 KB	-rw-r--r--	2021-12-24 21:03
tuned.aug	387 B	-rw-r--r--	2021-12-24 21:03
up2date.aug	2.21 KB	-rw-r--r--	2021-12-24 21:03
updatedb.aug	1.13 KB	-rw-r--r--	2021-12-24 21:03
util.aug	4.85 KB	-rw-r--r--	2021-12-24 21:03
vfstab.aug	1.71 KB	-rw-r--r--	2021-12-24 21:03
vmware_config.aug	702 B	-rw-r--r--	2021-12-24 21:03
vsftpd.aug	2.72 KB	-rw-r--r--	2021-12-24 21:03
webmin.aug	1.23 KB	-rw-r--r--	2021-12-24 21:03
wine.aug	1.92 KB	-rw-r--r--	2021-12-24 21:03
xendconfsxp.aug	1.07 KB	-rw-r--r--	2021-12-24 21:03
xinetd.aug	4.02 KB	-rw-r--r--	2021-12-24 21:03
xml.aug	6.33 KB	-rw-r--r--	2021-12-24 21:03
xorg.aug	10.43 KB	-rw-r--r--	2021-12-24 21:03
xymon.aug	2.26 KB	-rw-r--r--	2021-12-24 21:03
xymon_alerting.aug	6.11 KB	-rw-r--r--	2021-12-24 21:03
yaml.aug	1.54 KB	-rw-r--r--	2021-12-24 21:03
yum.aug	2.19 KB	-rw-r--r--	2021-12-24 21:03

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 include_re = /include(dir)?/
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_-]+/ - include_re

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|identities|identity|pool)/
      |/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 plugins =
  let interface_option = subsec_entry name_re eq comment in
  let interface = [ indent . key name_re .
                  eq_openbr . (interface_option)* . closebr . eol ] in
    record "plugins" (interface|comment)

let includes = Build.key_value_line include_re Sep.space (store Rx.fspath)
let include_lines = includes . (comment|empty)*

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

let xfm = transform lns filter