2005-04-29 17:45:15 +00:00
|
|
|
# dhcpd
|
|
|
|
/etc/dhcpd\.conf -- system_u:object_r:dhcp_etc_t
|
|
|
|
/etc/dhcp3(/.*)? system_u:object_r:dhcp_etc_t
|
|
|
|
/usr/sbin/dhcpd.* -- system_u:object_r:dhcpd_exec_t
|
|
|
|
/var/lib/dhcp(3)?/dhcpd\.leases.* -- system_u:object_r:dhcpd_state_t
|
2005-09-16 13:36:26 +00:00
|
|
|
/var/run/dhcpd\.pid -- system_u:object_r:dhcpd_var_run_t
|
2005-04-29 17:45:15 +00:00
|
|
|
ifdef(`dhcp_defined', `', `
|
|
|
|
/var/lib/dhcp(3)? -d system_u:object_r:dhcp_state_t
|
|
|
|
define(`dhcp_defined')
|
|
|
|
')
|
|
|
|
|
|
|
|
ifdef(`distro_gentoo', `
|
|
|
|
/etc/dhcp -d system_u:object_r:dhcp_etc_t
|
|
|
|
/etc/dhcp(/.*)? -- system_u:object_r:dhcp_etc_t
|
|
|
|
/var/lib/dhcp -d system_u:object_r:dhcp_state_t
|
|
|
|
/var/lib/dhcp/dhcpd\.leases.* -- system_u:object_r:dhcpd_state_t
|
|
|
|
/var/run/dhcp/dhcpd\.pid -- system_u:object_r:dhcpd_var_run_t
|
|
|
|
|
|
|
|
# for the chroot setup
|
|
|
|
/chroot/dhcp -d system_u:object_r:root_t
|
|
|
|
/chroot/dhcp/dev -d system_u:object_r:device_t
|
|
|
|
/chroot/dhcp/etc -d system_u:object_r:etc_t
|
|
|
|
/chroot/dhcp/etc/dhcp -d system_u:object_r:dhcp_etc_t
|
|
|
|
/chroot/dhcp/etc/dhcp(/.*)? -- system_u:object_r:dhcp_etc_t
|
|
|
|
/chroot/dhcp/usr/sbin/dhcpd -- system_u:object_r:dhcpd_exec_t
|
|
|
|
/chroot/dhcp/var -d system_u:object_r:var_t
|
|
|
|
/chroot/dhcp/var/run -d system_u:object_r:var_run_t
|
|
|
|
/chroot/dhcp/var/lib -d system_u:object_r:var_lib_t
|
|
|
|
/chroot/dhcp/var/lib/dhcp -d system_u:object_r:dhcp_state_t
|
|
|
|
/chroot/dhcp/var/lib/dhcp/dhcpd\.leases.* -- system_u:object_r:dhcpd_state_t
|
|
|
|
/chroot/dhcp/var/run/dhcp/dhcpd\.pid -- system_u:object_r:dhcpd_state_t
|
|
|
|
')
|
|
|
|
|