diff options
author | Jason Zaman <jason@perfinion.com> | 2018-06-16 12:29:22 +0800 |
---|---|---|
committer | Jason Zaman <jason@perfinion.com> | 2018-06-16 22:35:45 +0800 |
commit | 069e44feb788fe848a3a27ed42d580f99c4aa151 (patch) | |
tree | a41257aee914f250ede99fb7e57474ac76569778 | |
parent | mplayer: migrate to upstream xdg interfaces (diff) | |
download | hardened-refpolicy-069e44feb788fe848a3a27ed42d580f99c4aa151.tar.gz hardened-refpolicy-069e44feb788fe848a3a27ed42d580f99c4aa151.tar.bz2 hardened-refpolicy-069e44feb788fe848a3a27ed42d580f99c4aa151.zip |
pulseaudio: migrate to upstream xdg interfaces
-rw-r--r-- | policy/modules/contrib/pulseaudio.te | 11 |
1 files changed, 0 insertions, 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) -') |