Chris PeBenito e181fe
Chris PeBenito d3d270
policy_module(corecommands,1.2.0)
Chris PeBenito 960373
Chris PeBenito fd89e1
########################################
Chris PeBenito fd89e1
#
Chris PeBenito fd89e1
# Declarations
Chris PeBenito fd89e1
#
Chris PeBenito fd89e1
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# bin_t is the type of files in the system bin directories.
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
type bin_t;
Chris PeBenito 8fd367
files_type(bin_t)
Chris PeBenito b4cd15
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# sbin_t is the type of files in the system sbin directories.
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
type sbin_t;
Chris PeBenito 8fd367
files_type(sbin_t)
Chris PeBenito b4cd15
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# ls_exec_t is the type of the ls program.
Chris PeBenito b4cd15
#
Chris PeBenito f1470e
type ls_exec_t;
Chris PeBenito 8fd367
files_type(ls_exec_t)
Chris PeBenito b4cd15
Chris PeBenito d1b9d9
#cjp: temp
Chris PeBenito d1b9d9
typeattribute ls_exec_t entry_type;
Chris PeBenito d1b9d9
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
# shell_exec_t is the type of user shells such as /bin/bash.
Chris PeBenito b4cd15
#
Chris PeBenito b4cd15
type shell_exec_t;
Chris PeBenito 8fd367
files_type(shell_exec_t)
Chris PeBenito b4cd15
Chris PeBenito b4cd15
type chroot_exec_t;
Chris PeBenito 8fd367
files_type(chroot_exec_t)