2005-04-20 19:07:16 +00:00
|
|
|
|
2009-03-05 14:43:03 +00:00
|
|
|
policy_module(corecommands, 1.11.1)
|
2005-04-26 17:00:25 +00:00
|
|
|
|
2005-06-30 18:54:08 +00:00
|
|
|
########################################
|
|
|
|
|
#
|
|
|
|
|
# Declarations
|
|
|
|
|
#
|
|
|
|
|
|
2006-04-19 21:43:02 +00:00
|
|
|
#
|
|
|
|
|
# Types with the exec_type attribute are executable files.
|
|
|
|
|
#
|
|
|
|
|
attribute exec_type;
|
|
|
|
|
|
2005-04-14 20:18:17 +00:00
|
|
|
#
|
2007-03-23 23:24:59 +00:00
|
|
|
# bin_t is the type of files in the system bin/sbin directories.
|
2005-04-14 20:18:17 +00:00
|
|
|
#
|
2007-03-23 23:24:59 +00:00
|
|
|
type bin_t alias { ls_exec_t sbin_t };
|
2006-04-19 21:43:02 +00:00
|
|
|
corecmd_executable_file(bin_t)
|
2005-04-14 20:18:17 +00:00
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# shell_exec_t is the type of user shells such as /bin/bash.
|
|
|
|
|
#
|
|
|
|
|
type shell_exec_t;
|
2006-04-19 21:43:02 +00:00
|
|
|
corecmd_executable_file(shell_exec_t)
|
2005-04-14 20:18:17 +00:00
|
|
|
|
|
|
|
|
type chroot_exec_t;
|
2006-04-19 21:43:02 +00:00
|
|
|
corecmd_executable_file(chroot_exec_t)
|
