|
 |
1ec3d1a |
## <summary> tvtime - a high quality television application </summary>
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
########################################
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Role access for tvtime
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## <param name="role">
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Role allowed access
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## </param>
|
|
|
1ec3d1a |
## <param name="domain">
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## User domain for the role
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## </param>
|
|
|
1ec3d1a |
#
|
|
|
1ec3d1a |
interface(`tvtime_role',`
|
|
|
1ec3d1a |
gen_require(`
|
|
|
1ec3d1a |
type tvtime_t, tvtime_exec_t;
|
|
|
1ec3d1a |
type tvtime_home_t, tvtime_tmpfs_t;
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
role $1 types tvtime_t;
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
# Type transition
|
|
|
1ec3d1a |
domtrans_pattern($2, tvtime_exec_t, tvtime_t)
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
# X access, Home files
|
|
|
1ec3d1a |
manage_dirs_pattern($2, tvtime_home_t, tvtime_home_t)
|
|
|
1ec3d1a |
manage_files_pattern($2, tvtime_home_t, tvtime_home_t)
|
|
|
1ec3d1a |
manage_lnk_files_pattern($2, tvtime_home_t, tvtime_home_t)
|
|
|
1ec3d1a |
relabel_dirs_pattern($2, tvtime_home_t, tvtime_home_t)
|
|
|
1ec3d1a |
relabel_files_pattern($2, tvtime_home_t, tvtime_home_t)
|
|
|
1ec3d1a |
relabel_lnk_files_pattern($2, tvtime_home_t, tvtime_home_t)
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
# Allow the user domain to signal/ps.
|
|
|
1ec3d1a |
ps_process_pattern($2, tvtime_t)
|
|
|
1ec3d1a |
allow $2 tvtime_t:process signal_perms;
|
|
|
1ec3d1a |
')
|