From 3c4f0dfaae63bff21eebb4bbfaf1dfe3dedbb635 Mon Sep 17 00:00:00 2001 From: Jason Zaman Date: Tue, 10 Jul 2018 23:03:15 +0800 Subject: [PATCH] mozilla: xdg updates --- policy/modules/apps/mozilla.te | 3 +++ 1 file changed, 3 insertions(+) diff --git a/policy/modules/apps/mozilla.te b/policy/modules/apps/mozilla.te index 2e1198966..b9222354d 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 })