mozilla: xdg updates

This commit is contained in:
Jason Zaman 2018-07-10 23:03:15 +08:00 committed by Chris PeBenito
parent 181298ab8b
commit 3c4f0dfaae
1 changed files with 3 additions and 0 deletions

View File

@ -206,6 +206,7 @@ userdom_use_user_ptys(mozilla_t)
userdom_manage_user_tmp_dirs(mozilla_t) userdom_manage_user_tmp_dirs(mozilla_t)
userdom_manage_user_tmp_files(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_content_access_template(mozilla, { mozilla_t mozilla_plugin_t })
userdom_user_home_dir_filetrans_user_home_content(mozilla_t, { dir file }) 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_read_data_files(mozilla_t)
xdg_manage_downloads(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_user_x_domain_template(mozilla, mozilla_t, mozilla_tmpfs_t)
xserver_dontaudit_read_xdm_tmp_files(mozilla_t) xserver_dontaudit_read_xdm_tmp_files(mozilla_t)
xserver_dontaudit_getattr_xdm_tmp_sockets(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_dirs(mozilla_plugin_t)
userdom_manage_user_tmp_files(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 }) userdom_user_home_dir_filetrans_user_home_content(mozilla_plugin_t, { dir file })