2005-04-20 19:07:16 +00:00
|
|
|
|
2006-01-11 23:20:28 +00:00
|
|
|
policy_module(corecommands,1.1.1)
|
2005-04-26 17:00:25 +00:00
|
|
|
|
2005-06-30 18:54:08 +00:00
|
|
|
########################################
|
|
|
|
#
|
|
|
|
# Declarations
|
|
|
|
#
|
|
|
|
|
2005-04-14 20:18:17 +00:00
|
|
|
#
|
|
|
|
# bin_t is the type of files in the system bin directories.
|
|
|
|
#
|
|
|
|
type bin_t;
|
2005-06-29 14:26:41 +00:00
|
|
|
files_type(bin_t)
|
2005-04-14 20:18:17 +00:00
|
|
|
|
|
|
|
#
|
|
|
|
# sbin_t is the type of files in the system sbin directories.
|
|
|
|
#
|
|
|
|
type sbin_t;
|
2005-06-29 14:26:41 +00:00
|
|
|
files_type(sbin_t)
|
2005-04-14 20:18:17 +00:00
|
|
|
|
|
|
|
#
|
|
|
|
# ls_exec_t is the type of the ls program.
|
|
|
|
#
|
2005-05-04 21:44:51 +00:00
|
|
|
type ls_exec_t;
|
2005-06-29 14:26:41 +00:00
|
|
|
files_type(ls_exec_t)
|
2005-04-14 20:18:17 +00:00
|
|
|
|
2005-10-26 18:07:20 +00:00
|
|
|
#cjp: temp
|
|
|
|
typeattribute ls_exec_t entry_type;
|
|
|
|
|
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;
|
2005-06-29 14:26:41 +00:00
|
|
|
files_type(shell_exec_t)
|
2005-04-14 20:18:17 +00:00
|
|
|
|
|
|
|
type chroot_exec_t;
|
2005-06-29 14:26:41 +00:00
|
|
|
files_type(chroot_exec_t)
|