Chris PeBenito 17de1b
Chris PeBenito d6d16b
policy_module(corecommands,1.4.3)
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
# Declarations
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
# Types with the exec_type attribute are executable files.
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
attribute exec_type;
Chris PeBenito 17de1b
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
# bin_t is the type of files in the system bin directories.
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
type bin_t;
Chris PeBenito 17de1b
corecmd_executable_file(bin_t)
Chris PeBenito 17de1b
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
# sbin_t is the type of files in the system sbin directories.
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
type sbin_t;
Chris PeBenito 17de1b
corecmd_executable_file(sbin_t)
Chris PeBenito 17de1b
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
# ls_exec_t is the type of the ls program.
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
type ls_exec_t;
Chris PeBenito 17de1b
corecmd_executable_file(ls_exec_t)
Chris PeBenito 17de1b
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
# shell_exec_t is the type of user shells such as /bin/bash.
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
type shell_exec_t;
Chris PeBenito 17de1b
corecmd_executable_file(shell_exec_t)
Chris PeBenito 17de1b
Chris PeBenito 17de1b
type chroot_exec_t;
Chris PeBenito 17de1b
corecmd_executable_file(chroot_exec_t)