/usr/share/selinux/ubuntu/include/apps/tvtime.if is in selinux-policy-ubuntu-dev 0.2.20091117-0ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 | ## <summary> tvtime - a high quality television application </summary>
########################################
## <summary>
## Role access for tvtime
## </summary>
## <param name="role">
## <summary>
## Role allowed access
## </summary>
## </param>
## <param name="domain">
## <summary>
## User domain for the role
## </summary>
## </param>
#
interface(`tvtime_role',`
gen_require(`
type tvtime_t, tvtime_exec_t;
type tvtime_home_t, tvtime_tmpfs_t;
')
role $1 types tvtime_t;
# Type transition
domtrans_pattern($2, tvtime_exec_t, tvtime_t)
# X access, Home files
manage_dirs_pattern($2, tvtime_home_t, tvtime_home_t)
manage_files_pattern($2, tvtime_home_t, tvtime_home_t)
manage_lnk_files_pattern($2, tvtime_home_t, tvtime_home_t)
relabel_dirs_pattern($2, tvtime_home_t, tvtime_home_t)
relabel_files_pattern($2, tvtime_home_t, tvtime_home_t)
relabel_lnk_files_pattern($2, tvtime_home_t, tvtime_home_t)
# Allow the user domain to signal/ps.
ps_process_pattern($2, tvtime_t)
allow $2 tvtime_t:process signal_perms;
')
|