Label /var/run/initctl as initctl_t

In Debian, the initctl pipe has been moved from /dev/initctl to
/run/initctl
This commit is contained in:
Laurent Bigonville 2013-01-12 22:32:21 +01:00 committed by Chris PeBenito
parent 4ae3d78602
commit 0ca8ac16f3
1 changed files with 1 additions and 0 deletions

View File

@ -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)