commit: 069e44feb788fe848a3a27ed42d580f99c4aa151
Author: Jason Zaman <jason <AT> perfinion <DOT> com>
AuthorDate: Sat Jun 16 04:29:22 2018 +0000
Commit: Jason Zaman <perfinion <AT> gentoo <DOT> org>
CommitDate: Sat Jun 16 14:35:45 2018 +0000
URL:
https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=069e44fe
pulseaudio: migrate to upstream xdg interfaces
policy/modules/contrib/pulseaudio.te | 11 -----------
1 file changed, 11 deletions(-)
diff --git a/policy/modules/contrib/pulseaudio.te
b/policy/modules/contrib/pulseaudio.te
index 167de7c9..1a58bde5 100644
--- a/policy/modules/contrib/pulseaudio.te
+++ b/policy/modules/contrib/pulseaudio.te
@@ -306,14 +306,3 @@ optional_policy(`
optional_policy(`
unconfined_signull(pulseaudio_client)
')
-
-ifdef(`distro_gentoo',`
- typealias pulseaudio_home_t alias pulseaudio_xdg_config_t;
-
- # ~/.config/pulse/
- xdg_config_home_filetrans(pulseaudio_t, pulseaudio_home_t, dir, "pulse")
- xdg_config_home_filetrans(pulseaudio_client, pulseaudio_home_t, dir,
"pulse")
-
- # /tmp/pulse-* gets created by the clients usually as user_tmp_t, bug
556526
- userdom_list_user_tmp(pulseaudio_client)
-')
