From b2ee09aa09a8993410d5eb4650675c6f1dd24432 Mon Sep 17 00:00:00 2001 From: Lukas Vrabec Date: Aug 15 2017 14:41:58 +0000 Subject: Fix broken gnome module --- diff --git a/policy-rawhide-contrib.patch b/policy-rawhide-contrib.patch index 6703246..6b4ae60 100644 --- a/policy-rawhide-contrib.patch +++ b/policy-rawhide-contrib.patch @@ -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 ## ## ## -@@ -433,17 +519,19 @@ interface(`gnome_home_filetrans',` +@@ -433,17 +519,18 @@ interface(`gnome_home_filetrans',` ## ## # @@ -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 ## ## ## -@@ -451,23 +539,18 @@ interface(`gnome_create_generic_gconf_home_dirs',` +@@ -451,23 +538,18 @@ interface(`gnome_create_generic_gconf_home_dirs',` ## ## # @@ -34602,7 +34601,7 @@ index ab09d6195..0007f00b3 100644 ## ## ## -@@ -475,22 +558,18 @@ interface(`gnome_read_generic_gconf_home_content',` +@@ -475,22 +557,18 @@ interface(`gnome_read_generic_gconf_home_content',` ## ## # @@ -34629,7 +34628,7 @@ index ab09d6195..0007f00b3 100644 ## ## ## -@@ -498,79 +577,59 @@ interface(`gnome_manage_generic_gconf_home_content',` +@@ -498,79 +576,59 @@ interface(`gnome_manage_generic_gconf_home_content',` ## ## # @@ -34727,7 +34726,7 @@ index ab09d6195..0007f00b3 100644 ## ## ## -@@ -579,12 +638,12 @@ interface(`gnome_home_filetrans_gnome_home',` +@@ -579,12 +637,12 @@ interface(`gnome_home_filetrans_gnome_home',` ## ## ## @@ -34742,7 +34741,7 @@ index ab09d6195..0007f00b3 100644 ## ## ## -@@ -593,18 +652,18 @@ interface(`gnome_home_filetrans_gnome_home',` +@@ -593,18 +651,18 @@ interface(`gnome_home_filetrans_gnome_home',` ## ## # @@ -34767,7 +34766,7 @@ index ab09d6195..0007f00b3 100644 ## ## ## -@@ -612,46 +671,81 @@ interface(`gnome_gconf_home_filetrans',` +@@ -612,46 +670,81 @@ interface(`gnome_gconf_home_filetrans',` ## ## # @@ -34866,7 +34865,7 @@ index ab09d6195..0007f00b3 100644 ## ## ## -@@ -659,46 +753,64 @@ interface(`gnome_dbus_chat_gkeyringd',` +@@ -659,46 +752,64 @@ interface(`gnome_dbus_chat_gkeyringd',` ## ## # @@ -34948,7 +34947,7 @@ index ab09d6195..0007f00b3 100644 ## ## ## -@@ -706,12 +818,1003 @@ interface(`gnome_stream_connect_gkeyringd',` +@@ -706,12 +817,1003 @@ interface(`gnome_stream_connect_gkeyringd',` ## ## #