2005-06-07 22:36:07 +00:00
|
|
|
## <summary>Miscelaneous files.</summary>
|
2005-04-20 19:07:16 +00:00
|
|
|
|
2005-05-05 21:36:53 +00:00
|
|
|
########################################
|
2005-07-19 18:40:31 +00:00
|
|
|
## <summary>
|
2005-10-05 21:17:22 +00:00
|
|
|
## Read system SSL certificates.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-10-13 20:59:36 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-10-05 21:17:22 +00:00
|
|
|
## </param>
|
2006-09-06 22:07:25 +00:00
|
|
|
## <rolecap/>
|
2005-10-05 21:17:22 +00:00
|
|
|
#
|
|
|
|
interface(`miscfiles_read_certs',`
|
|
|
|
gen_require(`
|
|
|
|
type cert_t;
|
|
|
|
')
|
|
|
|
|
2006-12-12 20:08:08 +00:00
|
|
|
allow $1 cert_t:dir list_dir_perms;
|
2009-06-26 14:40:13 +00:00
|
|
|
read_files_pattern($1, cert_t, cert_t)
|
|
|
|
read_lnk_files_pattern($1, cert_t, cert_t)
|
2005-10-05 21:17:22 +00:00
|
|
|
')
|
|
|
|
|
2009-03-20 13:58:15 +00:00
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## manange system SSL certificates.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
|
|
|
## <summary>
|
|
|
|
## Domain allowed access.
|
|
|
|
## </summary>
|
|
|
|
## </param>
|
|
|
|
## <rolecap/>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_manage_cert_dirs',`
|
|
|
|
gen_require(`
|
|
|
|
type cert_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
manage_dirs_pattern($1, cert_t, cert_t)
|
|
|
|
')
|
|
|
|
|
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## manange system SSL certificates.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
|
|
|
## <summary>
|
|
|
|
## Domain allowed access.
|
|
|
|
## </summary>
|
|
|
|
## </param>
|
|
|
|
## <rolecap/>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_manage_cert_files',`
|
|
|
|
gen_require(`
|
|
|
|
type cert_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
manage_files_pattern($1, cert_t, cert_t)
|
|
|
|
read_lnk_files_pattern($1, cert_t, cert_t)
|
|
|
|
')
|
|
|
|
|
2005-10-05 21:17:22 +00:00
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Read fonts.
|
2005-07-19 18:40:31 +00:00
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-10-13 20:59:36 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-07-19 18:40:31 +00:00
|
|
|
## </param>
|
2006-09-06 22:07:25 +00:00
|
|
|
## <rolecap/>
|
2005-05-05 21:36:53 +00:00
|
|
|
#
|
2005-06-22 19:21:31 +00:00
|
|
|
interface(`miscfiles_read_fonts',`
|
2005-06-17 17:59:26 +00:00
|
|
|
gen_require(`
|
|
|
|
type fonts_t;
|
|
|
|
')
|
|
|
|
|
2005-11-25 19:09:08 +00:00
|
|
|
# cjp: fonts can be in either of these dirs
|
2005-06-17 17:59:26 +00:00
|
|
|
files_search_usr($1)
|
|
|
|
libs_search_lib($1)
|
2005-06-03 12:25:14 +00:00
|
|
|
|
2006-12-12 20:08:08 +00:00
|
|
|
allow $1 fonts_t:dir list_dir_perms;
|
2009-06-26 14:40:13 +00:00
|
|
|
read_files_pattern($1, fonts_t, fonts_t)
|
|
|
|
read_lnk_files_pattern($1, fonts_t, fonts_t)
|
2005-05-05 21:36:53 +00:00
|
|
|
')
|
|
|
|
|
2009-11-24 14:04:48 +00:00
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Set the attributes on a fonts directory.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
|
|
|
## <summary>
|
|
|
|
## Domain allowed access.
|
|
|
|
## </summary>
|
|
|
|
## </param>
|
|
|
|
## <rolecap/>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_setattr_fonts_dirs',`
|
|
|
|
gen_require(`
|
|
|
|
type fonts_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
allow $1 fonts_t:dir setattr;
|
|
|
|
')
|
|
|
|
|
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Do not audit attempts to set the attributes
|
|
|
|
## on a fonts directory.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
|
|
|
## <summary>
|
|
|
|
## Domain allowed access.
|
|
|
|
## </summary>
|
|
|
|
## </param>
|
|
|
|
## <rolecap/>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_dontaudit_setattr_fonts_dirs',`
|
|
|
|
gen_require(`
|
|
|
|
type fonts_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
dontaudit $1 fonts_t:dir setattr;
|
|
|
|
')
|
|
|
|
|
2007-11-15 20:10:26 +00:00
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Do not audit attempts to write fonts.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
|
|
|
## <summary>
|
|
|
|
## Domain allowed access.
|
|
|
|
## </summary>
|
|
|
|
## </param>
|
|
|
|
## <rolecap/>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_dontaudit_write_fonts',`
|
|
|
|
gen_require(`
|
|
|
|
type fonts_t;
|
|
|
|
')
|
|
|
|
|
2009-03-20 13:58:15 +00:00
|
|
|
dontaudit $1 fonts_t:dir { write setattr };
|
2007-11-15 20:10:26 +00:00
|
|
|
dontaudit $1 fonts_t:file write;
|
|
|
|
')
|
|
|
|
|
2005-11-25 19:09:08 +00:00
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Create, read, write, and delete fonts.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-11-25 19:09:08 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-11-25 19:09:08 +00:00
|
|
|
## </param>
|
2006-09-06 22:07:25 +00:00
|
|
|
## <rolecap/>
|
2005-11-25 19:09:08 +00:00
|
|
|
#
|
|
|
|
interface(`miscfiles_manage_fonts',`
|
|
|
|
gen_require(`
|
|
|
|
type fonts_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
# cjp: fonts can be in either of these dirs
|
|
|
|
files_search_usr($1)
|
|
|
|
libs_search_lib($1)
|
|
|
|
|
2009-06-26 14:40:13 +00:00
|
|
|
manage_dirs_pattern($1, fonts_t, fonts_t)
|
|
|
|
manage_files_pattern($1, fonts_t, fonts_t)
|
|
|
|
manage_lnk_files_pattern($1, fonts_t, fonts_t)
|
2005-11-25 19:09:08 +00:00
|
|
|
')
|
|
|
|
|
2005-10-05 19:09:42 +00:00
|
|
|
########################################
|
|
|
|
## <summary>
|
2005-10-13 20:59:36 +00:00
|
|
|
## Read hardware identification data.
|
2005-10-05 19:09:42 +00:00
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-10-05 19:09:42 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-10-05 19:09:42 +00:00
|
|
|
## </param>
|
|
|
|
#
|
2005-10-13 20:59:36 +00:00
|
|
|
interface(`miscfiles_read_hwdata',`
|
2005-10-05 19:09:42 +00:00
|
|
|
gen_require(`
|
2005-10-13 20:59:36 +00:00
|
|
|
type hwdata_t;
|
2005-10-05 19:09:42 +00:00
|
|
|
')
|
|
|
|
|
2006-12-12 20:08:08 +00:00
|
|
|
allow $1 hwdata_t:dir list_dir_perms;
|
2009-06-26 14:40:13 +00:00
|
|
|
read_files_pattern($1, hwdata_t, hwdata_t)
|
|
|
|
read_lnk_files_pattern($1, hwdata_t, hwdata_t)
|
2005-10-05 19:09:42 +00:00
|
|
|
')
|
|
|
|
|
2007-02-16 23:01:42 +00:00
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Allow process to setattr localization info
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
|
|
|
## <summary>
|
|
|
|
## Domain allowed access.
|
|
|
|
## </summary>
|
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_setattr_localization',`
|
|
|
|
gen_require(`
|
|
|
|
type locale_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
files_search_usr($1)
|
|
|
|
allow $1 locale_t:dir list_dir_perms;
|
|
|
|
allow $1 locale_t:file setattr;
|
|
|
|
')
|
|
|
|
|
2005-04-14 20:18:17 +00:00
|
|
|
########################################
|
2005-07-19 18:40:31 +00:00
|
|
|
## <summary>
|
|
|
|
## Allow process to read localization info
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-10-13 20:59:36 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-07-19 18:40:31 +00:00
|
|
|
## </param>
|
2005-04-14 20:18:17 +00:00
|
|
|
#
|
2005-06-22 19:21:31 +00:00
|
|
|
interface(`miscfiles_read_localization',`
|
2005-06-17 17:59:26 +00:00
|
|
|
gen_require(`
|
|
|
|
type locale_t;
|
|
|
|
')
|
|
|
|
|
2006-09-13 18:08:17 +00:00
|
|
|
files_read_etc_symlinks($1)
|
2005-06-17 17:59:26 +00:00
|
|
|
files_search_usr($1)
|
2006-12-12 20:08:08 +00:00
|
|
|
allow $1 locale_t:dir list_dir_perms;
|
2009-06-26 14:40:13 +00:00
|
|
|
read_files_pattern($1, locale_t, locale_t)
|
|
|
|
read_lnk_files_pattern($1, locale_t, locale_t)
|
2005-05-11 15:46:51 +00:00
|
|
|
|
2005-06-03 12:25:14 +00:00
|
|
|
# why?
|
2006-02-02 21:08:12 +00:00
|
|
|
libs_read_lib_files($1)
|
2005-04-14 20:18:17 +00:00
|
|
|
')
|
|
|
|
|
2006-08-29 02:41:00 +00:00
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Allow process to write localization info
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
|
|
|
## <summary>
|
|
|
|
## Domain allowed access.
|
|
|
|
## </summary>
|
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_rw_localization',`
|
|
|
|
gen_require(`
|
|
|
|
type locale_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
files_search_usr($1)
|
|
|
|
allow $1 locale_t:dir list_dir_perms;
|
2009-06-26 14:40:13 +00:00
|
|
|
rw_files_pattern($1, locale_t, locale_t)
|
2006-08-29 02:41:00 +00:00
|
|
|
')
|
|
|
|
|
2007-02-16 23:01:42 +00:00
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Allow process to relabel localization info
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
|
|
|
## <summary>
|
|
|
|
## Domain allowed access.
|
|
|
|
## </summary>
|
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_relabel_localization',`
|
|
|
|
gen_require(`
|
|
|
|
type locale_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
files_search_usr($1)
|
2009-06-26 14:40:13 +00:00
|
|
|
relabel_files_pattern($1, locale_t, locale_t)
|
2007-02-16 23:01:42 +00:00
|
|
|
')
|
|
|
|
|
2005-05-05 20:33:35 +00:00
|
|
|
########################################
|
2005-07-19 18:40:31 +00:00
|
|
|
## <summary>
|
|
|
|
## Allow process to read legacy time localization info
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-10-13 20:59:36 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-07-19 18:40:31 +00:00
|
|
|
## </param>
|
2005-05-05 20:33:35 +00:00
|
|
|
#
|
2005-06-22 19:21:31 +00:00
|
|
|
interface(`miscfiles_legacy_read_localization',`
|
2005-06-17 17:59:26 +00:00
|
|
|
gen_require(`
|
|
|
|
type locale_t;
|
|
|
|
')
|
2005-06-03 12:25:14 +00:00
|
|
|
|
|
|
|
miscfiles_read_localization($1)
|
|
|
|
allow $1 locale_t:file execute;
|
2005-05-05 20:33:35 +00:00
|
|
|
')
|
|
|
|
|
2009-11-24 14:04:48 +00:00
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Search man pages.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
|
|
|
## <summary>
|
|
|
|
## Domain to not audit.
|
|
|
|
## </summary>
|
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_search_man_pages',`
|
|
|
|
gen_require(`
|
|
|
|
type man_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
allow $1 man_t:dir search_dir_perms;
|
|
|
|
files_search_usr($1)
|
|
|
|
')
|
|
|
|
|
2005-10-23 20:18:36 +00:00
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Do not audit attempts to search man pages.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-10-23 20:18:36 +00:00
|
|
|
## Domain to not audit.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-10-23 20:18:36 +00:00
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_dontaudit_search_man_pages',`
|
|
|
|
gen_require(`
|
|
|
|
type man_t;
|
|
|
|
')
|
|
|
|
|
2009-11-24 14:04:48 +00:00
|
|
|
dontaudit $1 man_t:dir search_dir_perms;
|
2005-10-23 20:18:36 +00:00
|
|
|
')
|
|
|
|
|
2005-05-11 19:05:15 +00:00
|
|
|
########################################
|
2005-07-19 18:40:31 +00:00
|
|
|
## <summary>
|
2005-09-16 21:20:37 +00:00
|
|
|
## Read man pages
|
2005-07-19 18:40:31 +00:00
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-09-16 21:20:37 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-07-19 18:40:31 +00:00
|
|
|
## </param>
|
2006-09-06 22:07:25 +00:00
|
|
|
## <rolecap/>
|
2005-05-11 19:05:15 +00:00
|
|
|
#
|
2005-06-22 19:21:31 +00:00
|
|
|
interface(`miscfiles_read_man_pages',`
|
2005-06-17 17:59:26 +00:00
|
|
|
gen_require(`
|
|
|
|
type man_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
files_search_usr($1)
|
2006-12-12 20:08:08 +00:00
|
|
|
allow $1 man_t:dir list_dir_perms;
|
2009-06-26 14:40:13 +00:00
|
|
|
read_files_pattern($1, man_t, man_t)
|
|
|
|
read_lnk_files_pattern($1, man_t, man_t)
|
2005-05-11 19:05:15 +00:00
|
|
|
')
|
|
|
|
|
2005-07-19 18:40:31 +00:00
|
|
|
########################################
|
2005-09-16 21:20:37 +00:00
|
|
|
## <summary>
|
|
|
|
## Delete man pages
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-09-16 21:20:37 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-09-16 21:20:37 +00:00
|
|
|
## </param>
|
|
|
|
# cjp: added for tmpreaper
|
|
|
|
#
|
|
|
|
interface(`miscfiles_delete_man_pages',`
|
|
|
|
gen_require(`
|
|
|
|
type man_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
files_search_usr($1)
|
2006-12-12 20:08:08 +00:00
|
|
|
|
|
|
|
allow $1 man_t:dir setattr;
|
2007-11-15 20:10:26 +00:00
|
|
|
# RH bug #309351
|
|
|
|
allow $1 man_t:dir list_dir_perms;
|
2009-06-26 14:40:13 +00:00
|
|
|
delete_dirs_pattern($1, man_t, man_t)
|
|
|
|
delete_files_pattern($1, man_t, man_t)
|
|
|
|
delete_lnk_files_pattern($1, man_t, man_t)
|
2005-09-16 21:20:37 +00:00
|
|
|
')
|
|
|
|
|
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Create, read, write, and delete man pages
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-09-16 21:20:37 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-09-16 21:20:37 +00:00
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_manage_man_pages',`
|
|
|
|
gen_require(`
|
|
|
|
type man_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
files_search_usr($1)
|
2009-06-26 14:40:13 +00:00
|
|
|
manage_dirs_pattern($1, man_t, man_t)
|
|
|
|
manage_files_pattern($1, man_t, man_t)
|
|
|
|
read_lnk_files_pattern($1, man_t, man_t)
|
2005-09-16 21:20:37 +00:00
|
|
|
')
|
|
|
|
|
2005-10-13 20:59:36 +00:00
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Read public files used for file
|
|
|
|
## transfer services.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-10-13 20:59:36 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-10-13 20:59:36 +00:00
|
|
|
## </param>
|
2006-09-06 22:07:25 +00:00
|
|
|
## <rolecap/>
|
2005-10-13 20:59:36 +00:00
|
|
|
#
|
|
|
|
interface(`miscfiles_read_public_files',`
|
|
|
|
gen_require(`
|
2005-10-24 21:33:46 +00:00
|
|
|
type public_content_t, public_content_rw_t;
|
2005-10-13 20:59:36 +00:00
|
|
|
')
|
|
|
|
|
2006-12-12 20:08:08 +00:00
|
|
|
allow $1 { public_content_t public_content_rw_t }:dir list_dir_perms;
|
|
|
|
read_files_pattern($1,{ public_content_t public_content_rw_t },{ public_content_t public_content_rw_t })
|
|
|
|
read_lnk_files_pattern($1,{ public_content_t public_content_rw_t },{ public_content_t public_content_rw_t })
|
2005-10-13 20:59:36 +00:00
|
|
|
')
|
|
|
|
|
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Create, read, write, and delete public files
|
|
|
|
## and directories used for file transfer services.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-10-13 20:59:36 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-10-13 20:59:36 +00:00
|
|
|
## </param>
|
2006-09-06 22:07:25 +00:00
|
|
|
## <rolecap/>
|
2005-10-13 20:59:36 +00:00
|
|
|
#
|
|
|
|
interface(`miscfiles_manage_public_files',`
|
|
|
|
gen_require(`
|
|
|
|
type public_content_rw_t;
|
|
|
|
')
|
|
|
|
|
2009-06-26 14:40:13 +00:00
|
|
|
manage_dirs_pattern($1, public_content_rw_t, public_content_rw_t)
|
|
|
|
manage_files_pattern($1, public_content_rw_t, public_content_rw_t)
|
|
|
|
manage_lnk_files_pattern($1, public_content_rw_t, public_content_rw_t)
|
2005-10-13 20:59:36 +00:00
|
|
|
')
|
|
|
|
|
2005-09-16 21:20:37 +00:00
|
|
|
########################################
|
2005-07-19 18:40:31 +00:00
|
|
|
## <summary>
|
|
|
|
## Read TeX data
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-10-13 20:59:36 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-07-19 18:40:31 +00:00
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_read_tetex_data',`
|
|
|
|
gen_require(`
|
|
|
|
type tetex_data_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
files_search_var($1)
|
|
|
|
files_search_var_lib($1)
|
|
|
|
|
|
|
|
# cjp: TeX data can be in either of the above dirs
|
2006-12-12 20:08:08 +00:00
|
|
|
allow $1 tetex_data_t:dir list_dir_perms;
|
2009-06-26 14:40:13 +00:00
|
|
|
read_files_pattern($1, tetex_data_t, tetex_data_t)
|
|
|
|
read_lnk_files_pattern($1, tetex_data_t, tetex_data_t)
|
2005-07-19 18:40:31 +00:00
|
|
|
')
|
|
|
|
|
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Execute TeX data programs in the caller domain.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-10-13 20:59:36 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-07-19 18:40:31 +00:00
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_exec_tetex_data',`
|
|
|
|
gen_require(`
|
|
|
|
type fonts_t;
|
2008-05-15 13:10:34 +00:00
|
|
|
type tetex_data_t;
|
2005-07-19 18:40:31 +00:00
|
|
|
')
|
|
|
|
|
|
|
|
files_search_var($1)
|
|
|
|
files_search_var_lib($1)
|
|
|
|
|
|
|
|
# cjp: TeX data can be in either of the above dirs
|
2006-12-12 20:08:08 +00:00
|
|
|
allow $1 tetex_data_t:dir list_dir_perms;
|
2009-06-26 14:40:13 +00:00
|
|
|
exec_files_pattern($1, tetex_data_t, tetex_data_t)
|
2005-07-19 18:40:31 +00:00
|
|
|
')
|
2006-03-24 18:59:51 +00:00
|
|
|
|
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Let test files be an entry point for
|
|
|
|
## a specified domain.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
|
|
|
## <summary>
|
|
|
|
## Domain to be entered.
|
|
|
|
## </summary>
|
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_domain_entry_test_files',`
|
|
|
|
gen_require(`
|
|
|
|
type test_file_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
domain_entry_file($1, test_file_t)
|
|
|
|
')
|
|
|
|
|
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Read test files and directories.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
|
|
|
## <summary>
|
|
|
|
## Domain allowed access.
|
|
|
|
## </summary>
|
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_read_test_files',`
|
|
|
|
gen_require(`
|
|
|
|
type test_file_t;
|
|
|
|
')
|
|
|
|
|
2009-06-26 14:40:13 +00:00
|
|
|
read_files_pattern($1, test_file_t, test_file_t)
|
|
|
|
read_lnk_files_pattern($1, test_file_t, test_file_t)
|
2006-03-24 18:59:51 +00:00
|
|
|
')
|
|
|
|
|
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Execute test files.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
|
|
|
## <summary>
|
|
|
|
## Domain allowed access.
|
|
|
|
## </summary>
|
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_exec_test_files',`
|
|
|
|
gen_require(`
|
|
|
|
type test_file_t;
|
|
|
|
')
|
|
|
|
|
2009-06-26 14:40:13 +00:00
|
|
|
exec_files_pattern($1, test_file_t, test_file_t)
|
|
|
|
read_lnk_files_pattern($1, test_file_t, test_file_t)
|
2006-03-24 18:59:51 +00:00
|
|
|
')
|
2007-02-16 23:01:42 +00:00
|
|
|
|
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Execute test files.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
|
|
|
## <summary>
|
|
|
|
## Domain allowed access.
|
|
|
|
## </summary>
|
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_etc_filetrans_localization',`
|
|
|
|
gen_require(`
|
|
|
|
type locale_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
files_etc_filetrans($1, locale_t, file)
|
|
|
|
|
|
|
|
')
|
|
|
|
|
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Create, read, write, and delete localization
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
|
|
|
## <summary>
|
|
|
|
## Domain allowed access.
|
|
|
|
## </summary>
|
|
|
|
## </param>
|
|
|
|
## <rolecap/>
|
|
|
|
#
|
|
|
|
interface(`miscfiles_manage_localization',`
|
|
|
|
gen_require(`
|
|
|
|
type locale_t;
|
|
|
|
')
|
|
|
|
|
2009-06-26 14:40:13 +00:00
|
|
|
manage_dirs_pattern($1, locale_t, locale_t)
|
|
|
|
manage_files_pattern($1, locale_t, locale_t)
|
|
|
|
manage_lnk_files_pattern($1, locale_t, locale_t)
|
2007-02-16 23:01:42 +00:00
|
|
|
')
|
|
|
|
|