Chris PeBenito 17de1b7
Chris PeBenito 4b23c67
policy_module(corecommands, 1.12.2)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
########################################
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
# Declarations
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
# Types with the exec_type attribute are executable files.
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
attribute exec_type;
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
#
Chris PeBenito 8021cb4
# bin_t is the type of files in the system bin/sbin directories.
Chris PeBenito 17de1b7
#
Chris PeBenito 8021cb4
type bin_t alias { ls_exec_t sbin_t };
Chris PeBenito 17de1b7
corecmd_executable_file(bin_t)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
# shell_exec_t is the type of user shells such as /bin/bash.
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
type shell_exec_t;
Chris PeBenito 17de1b7
corecmd_executable_file(shell_exec_t)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
type chroot_exec_t;
Chris PeBenito 17de1b7
corecmd_executable_file(chroot_exec_t)