diff options
author | Jason Zaman <jason@perfinion.com> | 2018-07-10 23:03:15 +0800 |
---|---|---|
committer | Jason Zaman <jason@perfinion.com> | 2018-07-11 22:41:35 +0800 |
commit | c3e2c66e2e2789edab5f851bb70428c590e9fbd9 (patch) | |
tree | f6766e38379c48e4243e874a3729f5095684552d | |
parent | selinux: compute_access_vector requires creating netlink_selinux_sockets (diff) | |
download | hardened-refpolicy-c3e2c66e2e2789edab5f851bb70428c590e9fbd9.tar.gz hardened-refpolicy-c3e2c66e2e2789edab5f851bb70428c590e9fbd9.tar.bz2 hardened-refpolicy-c3e2c66e2e2789edab5f851bb70428c590e9fbd9.zip |
mozilla: xdg updates
-rw-r--r-- | policy/modules/apps/mozilla.te | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/policy/modules/apps/mozilla.te b/policy/modules/apps/mozilla.te index e57821da0..1ae38bbfc 100644 --- a/policy/modules/apps/mozilla.te +++ b/policy/modules/apps/mozilla.te @@ -206,6 +206,7 @@ userdom_use_user_ptys(mozilla_t) userdom_manage_user_tmp_dirs(mozilla_t) userdom_manage_user_tmp_files(mozilla_t) +userdom_map_user_tmp_files(mozilla_t) userdom_user_content_access_template(mozilla, { mozilla_t mozilla_plugin_t }) userdom_user_home_dir_filetrans_user_home_content(mozilla_t, { dir file }) @@ -219,6 +220,7 @@ xdg_read_config_files(mozilla_t) xdg_read_data_files(mozilla_t) xdg_manage_downloads(mozilla_t) +xserver_rw_mesa_shader_cache(mozilla_t) xserver_user_x_domain_template(mozilla, mozilla_t, mozilla_tmpfs_t) xserver_dontaudit_read_xdm_tmp_files(mozilla_t) xserver_dontaudit_getattr_xdm_tmp_sockets(mozilla_t) @@ -519,6 +521,7 @@ miscfiles_dontaudit_setattr_fonts_cache_dirs(mozilla_plugin_t) userdom_manage_user_tmp_dirs(mozilla_plugin_t) userdom_manage_user_tmp_files(mozilla_plugin_t) +userdom_map_user_tmp_files(mozilla_plugin_t) userdom_user_home_dir_filetrans_user_home_content(mozilla_plugin_t, { dir file }) |