Fix broken gnome module

This commit is contained in:
Lukas Vrabec 2017-08-15 16:41:58 +02:00
parent 284401b055
commit b2ee09aa09
1 changed files with 10 additions and 11 deletions

View File

@ -33896,7 +33896,7 @@ index e39de436a..5edcb8330 100644
+/usr/libexec/gnome-system-monitor-mechanism -- gen_context(system_u:object_r:gnomesystemmm_exec_t,s0)
+/usr/libexec/kde(3|4)/ksysguardprocesslist_helper -- gen_context(system_u:object_r:gnomesystemmm_exec_t,s0)
diff --git a/gnome.if b/gnome.if
index ab09d6195..0007f00b3 100644
index ab09d6195..e591cd040 100644
--- a/gnome.if
+++ b/gnome.if
@@ -1,52 +1,76 @@
@ -34550,7 +34550,7 @@ index ab09d6195..0007f00b3 100644
## </summary>
## <param name="domain">
## <summary>
@@ -433,17 +519,19 @@ interface(`gnome_home_filetrans',`
@@ -433,17 +519,18 @@ interface(`gnome_home_filetrans',`
## </summary>
## </param>
#
@ -34564,7 +34564,6 @@ index ab09d6195..0007f00b3 100644
- allow $1 gconf_home_t:dir create_dir_perms;
+ append_files_pattern($1, cache_home_t, cache_home_t)
+ userdom_search_user_home_dirs($1)
+ allow $1 gnome_home_t:file { read_file_perms map };
')
########################################
@ -34574,7 +34573,7 @@ index ab09d6195..0007f00b3 100644
## </summary>
## <param name="domain">
## <summary>
@@ -451,23 +539,18 @@ interface(`gnome_create_generic_gconf_home_dirs',`
@@ -451,23 +538,18 @@ interface(`gnome_create_generic_gconf_home_dirs',`
## </summary>
## </param>
#
@ -34602,7 +34601,7 @@ index ab09d6195..0007f00b3 100644
## </summary>
## <param name="domain">
## <summary>
@@ -475,22 +558,18 @@ interface(`gnome_read_generic_gconf_home_content',`
@@ -475,22 +557,18 @@ interface(`gnome_read_generic_gconf_home_content',`
## </summary>
## </param>
#
@ -34629,7 +34628,7 @@ index ab09d6195..0007f00b3 100644
## </summary>
## <param name="domain">
## <summary>
@@ -498,79 +577,59 @@ interface(`gnome_manage_generic_gconf_home_content',`
@@ -498,79 +576,59 @@ interface(`gnome_manage_generic_gconf_home_content',`
## </summary>
## </param>
#
@ -34727,7 +34726,7 @@ index ab09d6195..0007f00b3 100644
## </summary>
## <param name="domain">
## <summary>
@@ -579,12 +638,12 @@ interface(`gnome_home_filetrans_gnome_home',`
@@ -579,12 +637,12 @@ interface(`gnome_home_filetrans_gnome_home',`
## </param>
## <param name="private_type">
## <summary>
@ -34742,7 +34741,7 @@ index ab09d6195..0007f00b3 100644
## </summary>
## </param>
## <param name="name" optional="true">
@@ -593,18 +652,18 @@ interface(`gnome_home_filetrans_gnome_home',`
@@ -593,18 +651,18 @@ interface(`gnome_home_filetrans_gnome_home',`
## </summary>
## </param>
#
@ -34767,7 +34766,7 @@ index ab09d6195..0007f00b3 100644
## </summary>
## <param name="domain">
## <summary>
@@ -612,46 +671,81 @@ interface(`gnome_gconf_home_filetrans',`
@@ -612,46 +670,81 @@ interface(`gnome_gconf_home_filetrans',`
## </summary>
## </param>
#
@ -34866,7 +34865,7 @@ index ab09d6195..0007f00b3 100644
## </summary>
## <param name="domain">
## <summary>
@@ -659,46 +753,64 @@ interface(`gnome_dbus_chat_gkeyringd',`
@@ -659,46 +752,64 @@ interface(`gnome_dbus_chat_gkeyringd',`
## </summary>
## </param>
#
@ -34948,7 +34947,7 @@ index ab09d6195..0007f00b3 100644
## </summary>
## <param name="domain">
## <summary>
@@ -706,12 +818,1003 @@ interface(`gnome_stream_connect_gkeyringd',`
@@ -706,12 +817,1003 @@ interface(`gnome_stream_connect_gkeyringd',`
## </summary>
## </param>
#