policy/modules/contrib/pulseaudio.te | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/policy/modules/contrib/pulseaudio.te b/policy/modules/contrib/pulseaudio.te index 99e371b..fa051a3 100644 --- a/policy/modules/contrib/pulseaudio.te +++ b/policy/modules/contrib/pulseaudio.te @@ -224,7 +224,9 @@ pulseaudio_home_filetrans_pulseaudio_home(pulseaudio_client, file, ".esd_auth") pulseaudio_home_filetrans_pulseaudio_home(pulseaudio_client, file, ".pulse-cookie") pulseaudio_signull(pulseaudio_client) -rtkit_scheduled(pulseaudio_client) +optional_policy(` + rtkit_scheduled(pulseaudio_client) +') # TODO: ~/.cache userdom_manage_user_home_content_files(pulseaudio_client)