diff --git a/policy-f20-contrib.patch b/policy-f20-contrib.patch index d341865..37a0de4 100644 --- a/policy-f20-contrib.patch +++ b/policy-f20-contrib.patch @@ -71278,7 +71278,7 @@ index fa3dc8e..99cfa95 100644 + ps_process_pattern($1, pulseaudio_t) ') diff --git a/pulseaudio.te b/pulseaudio.te -index e31bbe1..28e206e 100644 +index e31bbe1..d261e97 100644 --- a/pulseaudio.te +++ b/pulseaudio.te @@ -1,4 +1,4 @@ @@ -71435,7 +71435,7 @@ index e31bbe1..28e206e 100644 userdom_search_user_home_dirs(pulseaudio_t) userdom_write_user_tmp_sockets(pulseaudio_t) +userdom_manage_user_tmp_files(pulseaudio_t) -+userdom_execute_user_tmp_files(pulseaudio_t) ++userdom_exec_user_tmp_files(pulseaudio_t) tunable_policy(`use_nfs_home_dirs',` + fs_mount_nfs(pulseaudio_t)