From: guido@trentalancia.net (Guido Trentalancia) Date: Thu, 08 Dec 2016 18:10:47 +0100 Subject: [refpolicy] [PATCH 2/2] pulseaudio: improve the support for Gnome games In-Reply-To: <1481216996.20182.5.camel@trentalancia.net> References: <1481216996.20182.5.camel@trentalancia.net> Message-ID: <1481217047.20182.6.camel@trentalancia.net> To: refpolicy@oss.tresys.com List-Id: refpolicy.oss.tresys.com Update the pulseaudio module for better integration with Gnome games. This patch requires new interfaces introduced in the games module by a recently posted patch. Signed-off-by: Guido Trentalancia --- policy/modules/contrib/pulseaudio.te | 5 +++++ 1 file changed, 5 insertions(+) --- refpolicy-git-07122016-orig/policy/modules/contrib/pulseaudio.te 2016-10-29 16:29:19.759327926 +0200 +++ refpolicy-git-07122016/policy/modules/contrib/pulseaudio.te 2016-12-08 16:48:22.182212502 +0100 @@ -192,6 +192,11 @@ optional_policy(` ') optional_policy(` + games_read_tmpfs_files(pulseaudio_t) + games_signull(pulseaudio_t) +') + +optional_policy(` gnome_stream_connect_gconf(pulseaudio_t) # OIL Runtime Compiler (ORC) optimized code execution