From: bigon@debian.org (Laurent Bigonville) Date: Sat, 12 Jan 2013 22:32:21 +0100 Subject: [refpolicy] [PATCH 03/13] Label /var/run/initctl as initctl_t In-Reply-To: <1358026351-12955-1-git-send-email-bigon@debian.org> References: <1358026351-12955-1-git-send-email-bigon@debian.org> Message-ID: <1358026351-12955-4-git-send-email-bigon@debian.org> To: refpolicy@oss.tresys.com List-Id: refpolicy.oss.tresys.com From: Laurent Bigonville In Debian, the initctl pipe has been moved from /dev/initctl to /run/initctl --- policy/modules/system/init.fc | 1 + 1 file changed, 1 insertion(+) diff --git a/policy/modules/system/init.fc b/policy/modules/system/init.fc index 9a4d3a7..bc0ffc8 100644 --- a/policy/modules/system/init.fc +++ b/policy/modules/system/init.fc @@ -51,6 +51,7 @@ ifdef(`distro_gentoo', ` # # /var # +/var/run/initctl -p gen_context(system_u:object_r:initctl_t,s0) /var/run/utmp -- gen_context(system_u:object_r:initrc_var_run_t,s0) /var/run/runlevel\.dir gen_context(system_u:object_r:initrc_var_run_t,s0) /var/run/random-seed -- gen_context(system_u:object_r:initrc_var_run_t,s0) -- 1.7.10.4